On formally undecidable propositions of Principia Mathematica and related systems - Gödel, Kurt 1906-1978 (Dover, 1992)