雷蒙德·M.斯穆里安著的《哥德尔不完全性定理》主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于ω-一致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。
本书适合数学、哲学和计算机科学专业的高等院校师生、科研工作者，也可供其他熟悉一阶逻辑演算系统、能够识别一些初等公式有效性的逻辑爱好者使用。

余俊伟，1974年生，江西安义人。1995年于华东师范大学获学士学位，2001年于中国社会科学院获博士学位。此后一直任职于中国人民大学，现为哲学院教授。研究方向为逻辑与形而上学。学术成果有专著《道义逻辑研究》（2005）、《否定词研究》（2014），论文《理解弗雷格的专名涵义》（2014)、《关于模态形而上学的几点思考》（2016）、《三种逻辑理论的哲学背景分析》（2018），等等。

前言
第1章 哥德尔证明背后的一般思路
1.1 哥德尔定理和塔斯基定理的抽象形式
1.2 ￡的不可判定的句子
第2章 塔斯基算术定理
2.1 语言￡E
2.2 并置与哥德尔编码
2.3 塔斯基定理
第3章 含幕运算的皮亚诺算术的不完全性
3.1 公理系统P.E.
3.2 公理系统的算术化
第4章 不含有幂运算的算术
4.1 P.A.的不完全性
4.2 更多关于∑1-关系的讨论
附录
第5章 哥德尔基于致性的证明
5.1 一些抽象的不完全性定理
5.2 ∑0-完全性
第6章 罗瑟系统
6.1 源自罗瑟的一些抽象的不完全性定理
6.2 一个一般的分离原理
6.3 罗瑟的不可判定的句子
6.4 比较哥德尔句子与罗瑟句子
6.5 更多关于分离的介绍
第7章 谢泼德森表示定理
7.1 谢泼德森表示定理
7.2 恰好的罗瑟系统
7.3 罗瑟不可判定的句子的变体
7.4 谢泼德森定理的一种加强
第8章 可定义性与对角线化
8.1 可定义性与完全可表示性
8.2 S中函数的强可定义性
8.3 （R）中递归函数的强可定义性
8.4 不动点与哥德尔句子
8.5 真谓词
第9章 一致性的不可证性
9.1 可证性谓词
9.2 一致性的不可证性
9.3 亨金句子与洛伯定理
第10章 关于可证性与真的一般评论
第11章 自指系统
11.1 关于自身推理的逻辑学家
11.2 一个一般背景下的不完全性的证明
11.3 类型G系统
11.4 模态系统
参考文献
索引