第三部分 递归函数

第九章 原始递归函数

43．原始递归函数

44．显式定义

45．谓词，质因子表示

46．串值递归式

47．一致性

48．哥德尔的β函数

49．原始递归函数及数论形式体系

第十章 元数学的算术化

50．元数学作为一般算术

51．递归的元数学定义

52．哥德尔编号

53．归纳定义与递归定义

第十一章 一般递归函数

54．原始递归函数的形式计算

55．一般递归函数

56．递归函数形式体系的算术化

57．μ运算子，枚举，对角过程

58．范式，坡斯特定理

59．一般递归函数及数论形式体系

60．邱吉定理，广义哥德尔定理

61．哥德尔定理的对称形

第十二章 部分递归函数

62．邱吉论点

63．部分递归函数

64．3值逻辑

65．哥德尔数

66．递归定理

第十三章 可机算函数

67．杜令机器

68．递归函数的可机算性

69．可机算函数的递归性

70．杜令论点

71．半群的字的问题

第四部分 数理逻辑（附加项目）

第十四章 谓词演算与公理系统

72．哥德尔的完备性定理

73．具相等性的谓词演算

74．摹状定义的可消除性

75．公理系统，斯科林奇论，自然数列

76．判定问题

第十五章 相容性，古典系统及直觉主义系统

77．坚钦的形式系统

78．坚钦的范式定理

79．相容性证明

80．判定过程，直觉主义地不可证性

81．把古典系统化归于直觉主义系统

82．递归地可实现性

附录Ⅰ ＃哥德尔第二定理的证明

附录Ⅱ 49及§74中缺漏处的补足

附录Ⅲ 在定理36证明中由（ⅳ）转到（ⅴ）的过程的形式体系化

附录Ⅳ 79例2中公式的构成

附录Ⅴ 等式及不定摹状词的可消除性

附录Ⅵ 把直到小于ε0的序数的归纳法形式体系化于第四章 的系统内

附录Ⅶ 用直到ε0的归纳而作的古典算术相容性的证明（舒提）。诺维科夫的结果

参考文献

中英名词对照表及索引

译者的话