On Formally Undecidable (1931)

by K Gödel
Venue:Propositions of Principia Mathematica and Related Systems I in Gödel, Collected Works Vol I