[FOM] Godel: the proof from The Book??

[Peter Smith]

I've been having fun dipping into the latest edition of Aigner and 
Ziegler's Proofs_from_The_Book. If you happen not to know it, the allusion 
in the title is to Paul Erdos's conceit that God maintains a book of the 
most elegant proofs of theorems; and Aigner and Ziegler aim to collect 
together some beautiful proofs that really deserve to be in The Book 
(sometimes two or three of the same result).

Prompted by that, here's a summertime diversion for FOMers (or if you are 
in the other hemisphere, something to mull over while huddled by the fire 
...)

Leaving Godel's own original effort out of it, what proof of the first 
incompleteness theorem would you suggest as a candidate for The Book?

-- 
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
--
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/   
(for the "LaTeX for Logicians" page)