哥德尔不完全性定理PDF电子书下载

一 引言 1

1．哥德尔的生平 4

2．历史背景 17

二 逻辑演算 37

1．命题逻辑和命题演算 41

2．谓词逻辑 73

3．谓词演算和完备性定理 90

三 不完全性定理 113

1．一阶算术 118

2．哥德尔数 132

3．可表达性 137

4．递归函数和递归关系 149

5．可表达性定理 160

6．不完全性定理的证明 175

四 意义 185

参考文献 207

人名索引 209