Douglas Hofstadter - Godel Escher Bach Chapter 14a on Formally Undecidable Propostions of TNT and Related Systems
