On formally undecidable propositions of Principia Mathematica & related systems

Kurt Gödel