On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel Back to product details page >