On Formally Undecidable Propositions of Principia Mathematica and Related Systems

By

Kurt Gödel,

Bernard Meltzer(Translator)