On Formally Undecidable (1962)

by Kurt Gödel
Venue:Propositions of Principia Mathematica and Related Systems, Basic Books