On Formally Undecidable Propositions of Principia Mathematicon Formally Undecidable Propositions of Principia Mathematica and Related Systems A and Re (Dover Books on Mathematics)
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.