On formally undecidable propositions of Principia Mathematica and related systems I”, in From Frege to Gödel (1967)

by K Gödel
Venue:INTERNAL AND EXTERNAL CONSISTENCY OF ARITHMETIC 41 Jean van Heijenoort