proofs of second incompleteness

[martdowd at aol.com]

FOM:
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>