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

[steve newberry]

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.

Respectfully,

r. stephen newberry