Re: Jech's proof of Gödel's second incompleteness theorem

adriano paolo shaul gershom palma palmaadriano at
Mon Sep 12 03:03:27 EDT 2022

Dear dr Pratt, precisely

I have it and read it (nice work imh)

*wehrlos aber nicht ehrlos*

Otto Wels

On Mon, Sep 12, 2022 at 11:55 AM Vaughan Pratt <pratt at>

> In response to Adriano Palma's request, Thomas Jech submitted his proof of
> Gödel's second incompleteness theorem to arXiv on April 15, 1992.  It can
> be downloaded from .  Hopefully that's
> what Adriano wanted.
> Vaughan Pratt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220912/ad5b59a5/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: jech secon godel incompleteness.pdf
Type: application/pdf
Size: 52976 bytes
Desc: not available
URL: </pipermail/fom/attachments/20220912/ad5b59a5/attachment-0001.pdf>

More information about the FOM mailing list