Gödel’s Proof Revised Edition Nagel, Newman, and Hofstadter (pages 96-98) http://liarparadox.org/NNH_Pages_96_98.pdf