On formally undecidable propositions of Principia Mathematica and related systems /
Gödel, Kurt.
Edinburgh,
1962.