书籍介绍
本书是一本既面向学者，又面向非专业人士，对任何具有逻辑和哲学品位的人，提供了一个深入了解先前无法企及的论题机会。
图书目录
一 导论 1
二 一致性问题 6
三 一致性的绝对证明 20
四 形式逻辑的系统编码 29
五 一个成功的一致性绝对证明的例子 36
六 映射的概念及其在数学中的应用 46
七 哥德尔证明 55
（一）哥德尔编码 55
（二）元数学的算术化 64
（三）哥德尔论证的核心 72
八 结论性的反思 84
附录 88
简要书目 98
索引 100
译者后记 106
相关书籍
- 《诉讼证明责任与证明标准研究》王圣扬著 2012
- 《数学思想方法入门 怎样理解证明和作出证明》（美）索 洛（Solow，D.）著；沈泽琪，许心正译 1988
- 《数学思想方法入门 怎样理解证明和作出证明》（美）索 洛（Solow，D.）著；沈泽琪，许心正译 1988
- 《刑事审判之证明负担及证明程度 比较法及分析》林辉煌著 2011
- 《刑事审判之证明负担及证明程度 比较法及分析》林辉煌著 2011
- 《数学证明方法》孙宗明著 1995
- 《人性的证明》（日）森村诚一著；丁国祯等译 2003
- 《死亡证明》津子围著 2003
- 《人性的证明》（日）森村诚一著；徐京宁等译 1998
- 《青春的证明》（日）森村诚一著；丁国桢等译 1998
出版社其它书籍
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
