proofs of second incompleteness

martdowd at martdowd at
Mon Sep 5 11:59:36 EDT 2022

Does anyone know of any proofs of the second incompleteness theorem, other than the standard proof-theoretic proof that 1) if PA is consistent then "I am not provable" is not provable 2) this can be formalized
For example, is there an indicator theory proof?  This runs in to the problem that the valuation function is not definable.
Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220905/7bb5a528/attachment.html>

More information about the FOM mailing list