哥德尔证明PDF电子书下载

一 导论 1

二 一致性问题 6

三 一致性的绝对证明 20

四 形式逻辑的系统编码 29

五 一个成功的一致性绝对证明的例子 36

六 映射的概念及其在数学中的应用 46

七 哥德尔证明 55

（一）哥德尔编码 55

（二）元数学的算术化 64

（三）哥德尔论证的核心 72

八 结论性的反思 84

附录 88

简要书目 98

索引 100

译者后记 106