数理逻辑4 -- 公理化集合论11

上一节讨论到类的等势。等势具备等价关系的所有性质，因此我们可以依据等势把所有集合（即真类$V$中的所有元素）分成等势的类。比如$u$是一个集合，那么所有和$x = \{ u \}$等势的集合所组成的类可记作$1_c$。这样的类被称为“弗雷格 - 罗素”基数，Frege-Russell cardinal number。（弗雷格是德国哲学家、逻辑学家，他在布尔之后进一步把集合、逻辑等系统进行公理化，但由于形式化不彻底，导致“朴素集合论”出现了各种悖论，罗素给出了“罗素悖论”，把结果寄给弗雷格，弗雷格惊呼：“一个人最大的悲哀莫过于在晚年发现自己做的所有工作都是无效的。”）

可以证明，除了$0_c$（即$\{ \emptyset \}$），其它弗雷格-罗素基数都是真类。
引理4.11.1
a. $\vdash \neg M(1_c)$
b. $\vdash \neg M(2_c)$

证明：
a. 构造函数$H = \{ x | (\exists u)(\exists v)(u = v \land u \in V \land v \in 1_c \land x = <u, \{ v \}>) \}$（记住“类存在的一般性定理”，这是NBG集合论中用来构建函数的依据）。不难证明，$H$是$V$到$1_c$的一一映射函数，所以$V \cong 1_c$。由于$\neg M(V)$，所以$\neg M(1_c)$，否则的话，若$1_c$是集合，根据替换定理，$V$也会是集合，从而产生矛盾。证毕。

b. 构造从$V$到$2_c$的函数$H$，满足对于任意$u \in V \land u \neq \emptyset$，有$H'u = \{ u, \emptyset \}$，而$H'u = \{ 1, 2\}$。不难证明，$H$是从$V$到$\mathcal{R}(H)$的一一映射函数，所以$V \preceq 2_c$。因为$\neg M(V)$，根据引理4.10.1b的$X \preceq Y \land \neg M(X) \Rightarrow \neg M(Y)$，可得$\neg M(2_c)$。证毕。

在NBG集合论中，“集合的聚集体”可用“类”的概念来表示，但“真类的聚合体”就不再适合继续用类来表示了（此刻我也不知道为什么）。因此，为了间接研究弗雷格-罗素基数，我们可以采用以下方法。

定义4.10.1：
a. $X +_c Y$：是$(X \times \{ \emptyset \}) \cup (Y \times \{ 1 \})$的缩写

不难发现，$X \times \{ \emptyset \}$和$Y \times \{ 1 \}$互斥，所以 X+c