导言
第一章 句子
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.可数集合
46.有穷的和无穷的
47.关系的幂
48.算术和、积、幂
49.普通算术恒等式
50.比值
51.实数
52.进一步的扩充
第七章 句法
53.形式性
54.句法的初始状态
55.原句法
56.定义公式和句式
57.定义量化公理
58.定义定理
59.原句法自适用
60.不完全性
附录
定理与元定理
定义表
定理和元定理表
参考文献
人名索引
主题词索引
展开