书名：On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems《数学原理》及有关系统中形式不可判定命题

作者：Kurt Gödel哥德尔出版社

名称：Dover Publications Inc 

出版时间：1992

语种：英语 

ISBN：9780486669809 

商品尺寸：13.3 x 1.3 x 20.3 cm

包装：平装

页数：80（以实物为准）

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. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.