第一章 集合与公理
1.1 罗素悖论
悖论出现的根源：康托最初是在*素朴*的意义上理解集合的。根据康托的理解可定义一个“概括规则”：对任何性质
罗素悖论：令
那么R属不属于R呢？如果R属于R，根据R的定义，R具有性质
1.2 一点数理逻辑
通过建立集合论的公理化系统可以解决罗素悖论，为了理解公理化系统的建立过程，先巩固一些数理逻辑的概念。
推演：公式集到公式，记作
证明：语句集到语句
理论：一个对证明封闭的语句集（语句只有在T的范围内才能得到证明）
公理：一个理论的子集，该子集可以推演出该理论的一切语句
递归（可判定，可计算）、可公理化：在一个理论中，任给一个语句，可以在有穷步内用完全机械的方法判断它是否属于公理，就称该理论的公理集是递归的，该理论是可公理化的
以上这些概念源自自然数，它们能沿用到此处，是因为公式和语句，乃至证明都可看作自然数（就像哥德尔配数那样）
“半递归”、递归可枚举：如果
一致：一个理论是一致的当且仅当没有语句会使得从理论中能同时得到对该语句与该语句的非的证明
1.3 公理
0.存在公理：本体论的承诺——我们谈论的世界不是虚无的
1.外延公理：两个有相同元素的集合相等——集合是由其元素决定的
2.分离公理模式（概括公理、子集公理）：给（像上文所述的）“概括规则”一个限制，使集合不能通过“概括规则”独立定义，而是必须从已经存在的集合中被分离出来。（从而排除”所有集合的集合“这种概念）
练习：证明集合
是唯一的 假设存在两个集合
与 满足 则由外延公理：
因为没有 来导致矛盾，所以是真命题 所以
与“存在两个集合”的假设不符，所以集合
是唯一的
定义2：令
每个集合都是类，有些类不是集合
定义3：由分离公理，可以断定任意两个集合的交和差仍然是集合，分别定义如下：
练习：想一想如果
会有什么问题 当X为空集时，
恒为假，所以 ,
3.对集公理：对任意a和b，存在一个集合只以a和b为元素
定义2：子集——
真子集——
练习：证明对任意集合X，
由子集的定义：
对于空集与任意集合X，
， 成立，这是因为 恒假，根据逻辑公理，假命题蕴含任何命题，所以 ， 为真命题 所以对任意集合X，
即X是任意集合的子集
5.幂集公理：以一种更快的速度产生新集合
插曲：我们现在已经可以用空集定义
定义：对任何集合
6.无穷公理：肯定无穷集合存在
7.基础公理（正则公理）：集合的元素都具有最小性质，排除了所有的“非基础集”，也就是“深不见底”的“集合”
练习：证明不存在集合
其中对任意 ， 。这样的集合称为无穷下降链，基础公理确保不存在无穷下降链 假设存在集合
对任意 ， 由基础公理，应当存在元素
，使 且 由于
中的元素都是 的形式，设 ，由条件可知，对任意 ，都有 所以
，即 的条件不可能满足 所以假设违背基础公理，原命题得证
定义：
即：
8.替换公理模式：由映射关系建立集合——任何集合在一个函数下的像仍然是一个集合
练习：证明
是集合 由存在公理、分离公理、对集公理、无穷公理易得
是集合 构建公式
对于任意的x，都有唯一的y使之成立
由替换公理得知，存在集合
所以
是集合
9.选择公理：承认形式系统中某种无限次操作的合理性，进而断言某种“不可构造的存在”的合法性，但也否定了所有的“非良序集”
习题
好多题，懒得都做，就选了后面几题做
1、如果
假设
由并集公理可得
由于康托悖论和罗素悖论，不存在这样的“大全集”
所以
2、证明对任意集合
方法1：
若
由幂集公理：
则
再由基础公理：
这样的
所以原命题得证
方法2：
对于
利用分离公理，构造
由幂集公理，显然
但是
这意味着对于任何一个集合
所以
3、对集公理、并集公理和幂集公理都可替换为较弱的形式：
对任意
对任意集合
对任意集合
用以上弱形式的公理证明对集、并集和幂集公理。
①证明对集公理
由弱对集公理：
构造
由分离公理：
所以，存在一个集合
②证明并集公理
由弱并集公理：
构造
由分离公理：
所以，存在一个集合
③证明幂集公理
由弱幂集公理：
构造
由分离公理：
所以，存在一个集合
弱公理都提供一个集合，其中包含想要的元素和一些垃圾，分离公理可以扫清垃圾以产生一个包含所有想要的元素的子集。反正就是这个思路，构造出的那个用于约束的公式对不对我就不知道了XD