本书主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。