引言
第一篇 基本原理
第一章 逻辑
1 量化与等同
2 虚拟类
3 虚拟关系
第二章 真实类
4 实在,外延性与个体
5 虚在实中
6 等同与代换
第三章 类的类
7 单元类
8 并,交,摹状词
9 作为对子之类的关系
10 函数
第四章 自然数
11 未诠释的数
12 经诠释的数
13 归纳法
第五章 迭代与算术
14 序列与迭代
15 祖先化
16 和,积,幂
第二篇 较高形式的数
第六章 实数
17 大纲;数字对
18 经诠释的比率与实数
19 存在的需求;运算与扩张
第七章 次序与序数
20 超穷归纳法
21 次序
22 序数
23 序数的定律
24 序数的次序
第八章 超穷递归
25 超穷递归
26 超穷递归的定律
27 枚举
第九章 基数
28 类的比较大小
29 施罗德-伯恩斯坦定理
30 无穷基数
第十章 选择公理
31 选定物和选择者
32 此公理的其他的等价者
33 此公理的地位
第三篇 公理系统
第十一章 罗素的类型论
34 构造性部分
35 类与可归约公理
36 现代类型论
第十二章 一般变元与策海洛
37 带一般变元的类型论
38 累积类型与策海洛
39 无穷公理及其他
第十三章 分层与终极类
40 "新基础"
41 非康托尔类;再谈归纳法
42 附加终极类
第十四章 冯·诺伊曼的系统及其他
43 冯·诺伊曼-贝尔奈斯系统
44 偏离与比较
45 诸系统的强度
五个公理系统一览
编号公式表
参考文献
索引
鄂公网安备 42010302001612号 