[FOM] 18 Word Proof of the Godel, Rosser and Smullyan Incompleteness Theorems

steve newberry stevnewb at att.net
Sat Jul 17 15:32:17 EDT 2010

Kurt Schutte's little Pi-0-2 gem of 1934 is an undecidable sentence,
in PURE First Order Logic, using a single dyadic predicate, three
quantifiers, and four literals.


r. stephen newberry

More information about the FOM mailing list