《元数学导论 （上册）》

第一部分数学基础问题1

第一章集论1

可数集1

康托的对角线法4

基数7

等价定理，有穷集与无穷集9

更高的超穷基数13

第二章若干基本概念18

自然数18

数学归纳法20

客体系统24

数论与解析学29

函数32

第三章数学推理的批判36

悖论36

由悖论得出的一些初步推论40

直觉主义47

形式主义55

一理论的形式体系化62

第二部分数理逻辑70

第四章形式体系70

形式符号70

形成规则73

自由变元与约束变元77

变形规则82

第五章形式推演88

形式推演88

推演定理92

推演定理（续完）97

逻辑符号的引入与消去101

依赖性及变化性106

第六章命题演算113

命题字母公式113

等价性，替换118

等价式，对偶原则124

赋值，无矛盾性131

完备性，范式138

判定过程，解释144

第七章谓词演算151

谓词字母公式151

导出规则，自由变元155

替换161

代入165

等价式，对偶性，前束式174

赋值，无矛盾性181

集论式的谓词逻辑，k变换187

第八章形式数论195

归纳，相等性，替换195

加法，乘法，次序200

数论的进一步发展205

形式计算211

哥德尔定理223