On formally undecidable propositions of Principia mathematica and related systems /
Gödel, Kurt.
New York : Dover,
1992.