Found in 1 comment on Hacker News
joe_the_user · 2009-12-14 · Original thread
Correct - he's referencing Tarski not Goedel.

Incorrect - Goedel is not much harder to prove or wider-ranging than Tarski.

Goedel is proven as a corollary to Tarski in Manin, Course In Mathematical Logic (Springer - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...)

Strongly recommend Manin to the mathematically literate interested in a sophisticated and worldly introduction to logic. Manin gives very understandable details of the Smullyan proof this guy is taking bits and pieces of.

-- And Antoly's "semantic/syntax" distinction is overdone.

Fresh book recommendations delivered straight to your inbox every Thursday.