On formally undecidable propositions of principia mathematica and related systems - Godel Kurt; Kurt Godel (London Oliver and Boyd, 1962)
Keywords: Mathematical logic