On formally undecidable propositions of Principia Mathematica and related systems I. <Web version: http://home.ddc.net/ygg/etext/godel/index.htm (1931)

by Kurt Gödel