Uber formal unentseheidbare Satze der Principia Mathematica und verwandter Systeme I" ("On formally undecidable propositions of Principia Mathematica and related systems I"), Monatshefte fur Mathematik und Physik (1931)

by Kurt Gödel