proofs of second incompleteness (FOM Digest, Vol 237, Issue 4)

Yu Li at
Tue Sep 6 09:56:03 EDT 2022

Dear Martin Dowd,

You said : "This runs in to the problem that the valuation function is not definable."

What do you mean by “valuation function”?

Best regards


More information about the FOM mailing list