Jech's Semantic proof of second incompleteness

Sam Buss sbuss at
Fri Sep 9 21:48:42 EDT 2022

[Moderator comment: This message is in reply to M. Dowd's post of September
5 on "Proofs of second incompleteness". - SB]

From: <fom-bounces at>
Date: Tue, Sep 6, 2022 at 10:32 PM

I included a version of this as 6.6.15 in Fundamentals of Mathematical

Peter Hinman

Peter G. Hinman        734-971-6745
pgh at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220909/195c70d4/attachment.html>

More information about the FOM mailing list