Gödel, Kurt, ‘Formally undecidable propositions’: ‘On formally undecidable propositions of \mkbibemph{Principia mathematica} and related systems, I’, From Frege to Gödel: A Source Book in Mathematical Knowledge, 1879–1931, translated by Bauer-Mengelberg, Stefan, reprint, Source books in the history of the sciences, Cambridge (Mass.) London: Harvard University Press, 1967, pp 596–617.
book chapter