Uspensky, "Gödel's Incompleteness Theorem", "Journal of Symbolic Logic 55": 889-891.