On formally undecidable propositions of principia mathematica and related systems - Gödel, Kurt 1906-1978 (Basic Books, 1962)