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

最新推荐文章于 2021-06-26 15:20:13 发布

SecPractitioner

最新推荐文章于 2021-06-26 15:20:13 发布

阅读量729

点赞数

文章标签：数学数理逻辑人工智能集合论

本文链接：https://blog.csdn.net/vermouthsister/article/details/79218970

版权

本文深入探讨了数理逻辑中的罗素悖论及其在公理化集合论中的解决方案，解释了为何在NBG理论下罗素类不引起矛盾。此外，文章还介绍了如何证明包含所有集合的类（如罗素类）并非集合。进一步，文章引入了序数的概念，定义了部分顺序、全排序和良序关系，并展示了这些概念在集合论中的应用。

摘要由CSDN通过智能技术生成

罗素悖论
罗素悖论在NBG理论下并不会产生矛盾。记 $Y = \{ x | x \notin x \}$ ，这个 $Y$ 就称为“罗素类”。罗素悖论之所以会产生矛盾，是因为人们“自然地”认为 $Y$ 也是个集合。如果你用自然语言表述 $Y$ ，那就会是： $Y$ 是一个包含，那些不包含自身作为元素的集合，的集合。如果都是集合的话，当然就会产生 $Y$ 是否属于 $Y$ 的矛盾。

公理化集合论对付罗素悖论的方法就是要区别， $Y$ 和 $x$ 不是“同一种东西”。用NBG的公理可以证明， $x$ 是集合，而 $Y$ 只是一个真类（proper class），也就是“理发师”和“那些被他理发的人”并不是“同一类人”。证明 $Y$ 不是集合的方法很简单，因为 $Y = \{ x | x \notin x\}$ ，所以 $(\forall x)(x \in Y \Leftrightarrow x \notin x)$ ，展开写法就是 $(\forall X)(M(X) \Rightarrow (X \in Y \Leftrightarrow X \notin X))$ 。现在采用规则A4，可得 $M(Y) \Rightarrow (Y \in Y \Leftrightarrow Y \notin Y)$ 。假设 $M(Y)$ ，则由MP可得 $Y \in Y \Leftrightarrow Y \notin Y$ 。易证 $(Y \in Y \Leftrightarrow Y \notin Y) \Rightarrow (Y \in Y \land Y \notin Y)$ （利用命题演算里的永真式），所以我们就得到 $M(Y) \vdash Y \in Y \land Y \notin Y$ 。根据反证法规则，可得 $\vdash \neg M(Y)$ ，也即罗素类真的只是个类，而不是集合。

由罗素类也可以证明 $V$ （包含所有集合的类），也只是个类，而不是集合。证明如下：假设 $M(V)$ ，那么根据推论4.6b， $(\forall x)(\forall Y)(Y \subseteq x \Rightarrow M(Y))$ ，所以 $Y \subseteq V \Rightarrow M(Y)$ ，这里的 $Y$ 是罗素类。因为 $(\forall u)(u \in V)$ ，所以根据A1可得 $u \in Y \Rightarrow u \in V$ ，所以 $Y \subseteq V$ ，这样就得到了 $M(Y)$ ，与 $\neg M(Y)$ 矛盾，所以 $\vdash \neg M(V)$ 。

序数（Ordinal Number）
我们先定义集合下的某些“排序”关系。
定义4.6.1：
a. $X \ Irr \ Y$ ：是 $Rel(X) \land (\forall y)(y \in Y \Rightarrow <y, y> \notin X)$ 的缩写。 $X$ 是 $Y$ 中的“非自反”关系。
b. $X \ Tr \ Y$ ：是 $Rel(X) \land (\forall u)(\forall v)(\forall w)([u \in Y \land v \in Y \land w \in Y \land <u, v> \in X \land <v, w> \in X] \Rightarrow <u, w> \in X)$ 的缩写。 $X$ 是 $Y$ 中的“传递”关系。
c. $X \ Part \ Y$ ：是 $(X \ Irr \ Y) \land (X \ Tr \ Y)$ 的缩写。 $X$ 是 $Y$ 中的“部分顺序”（partially order）。
d. $X \ Con \ Y$ ：是 $Rel(X) \land (\forall u)(\forall v)([u \in Y \land v \in Y \land u \neq v] \Rightarrow <u, v> \in X \lor <v, u> \in X)$ 的缩写。 $X$ 是 $Y$ 的“连接”关系。
e. $X \ Tot \ Y$ ：是 $(X \ Irr \ Y) \land (X \ Tr \ Y) \land (X \ Con \ Y)$ 的缩写。 $X$ 是 $Y$ 的“全排序”。
f. $X \ We \ Y$ ：是 $(X \ Irr \ Y) \land (\forall Z)([Z \subseteq Y \land Z \neq \emptyset] \Rightarrow (\exists y)(y \in Z \land (\forall x)(v \in Z \land v \neq y \Rightarrow <y, v> \in X \land <v, y> \notin X)))$ 的缩写。 $X$ 是 $Y$ 中的“良序关系”，它的意思是 $Y$ 中任意一个非空子类，都能找出一个“最小”元素。