On Fomally Undecidable Propositions of Principia Mathematica and Related Systems. translated by B. Meltzer and introduced by R.B. Braithwaite (1998)

by K Gödel