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

Axiom U保证了Sum Class是一个集合，即

$$(\forall x)(\exists y)(\forall u)(u \in y \Leftrightarrow (\exists v)(u \in v \land v \in x))$$

引理4.5.1：
a. $\vdash (\forall x)(\forall y)(\bigcup \{ x, y\} = x \cup y)$
b. $\vdash (\forall x)(\forall y)M(x \cup y)$
c. $\vdash (\forall x)(\bigcup \{ x\} = x)$
d. $\vdash (\forall x)(\forall y)(\bigcup <x, y> = \{ x, y\})$

证明：
a. 从左往右，若$u \in \bigcup \{ x, y\}$，则存在$b$使得$u \in b \land b \in \{ x, y\}$，即$u \in b \land (b = x \lor b=y)$。所以$u \in x \lor u \in y$，即$u \in x \cup y$。反过来，若$u \in x \cup y$，则$u \in x \lor u \in y$。因此，$u \in x \vdash (u \in x \land x \in \{ x, y\})$，所以$u \in x \vdash (\exists v)(u \in v \land v \in \{ x, y\})$（注意规则E4不必把所有$x$都换成$v$，它的适用范围是，项$x$对$(\exists v)(u \in v \land v \in \{ x, y\})$中的$v$自由即可），即$u \in x \vdash u \in \bigcup \{ x, y\}$。另一方面，$u \notin x \vdash u \in y$，采用同样的步骤可得（取$v$为$y$），$u \notin x \vdash u \in \bigcup \{ x, y\}$。所以，无论哪种情况，都可得$u \in \bigcup \{ x, y\}$。证毕。

b. 由a，再结合引理4.1.2即可。证毕。

c. 从左往右，若$u \in \bigcup \{ x\}$，则存在$b$使得$u \in b \land b \in \{x \}$，即$u \in b \land b =x$，也即$u \in x$。从右往左，若$u \in x$，则$u \in x \land x \in \{ x\}$，所以由规则E4可得，$(\exists v)(u \in v \land v \in \{ x\})$，所以$u \in \bigcup \{ x\}$。证毕。

d. 从左往右，若$u \in \bigcup <x, y>$，则存在$b$使得$u \in b \land b \in <x, y>$，即$u \in b \land (b = \{ x\} \lor b = \{ x, y\})$。所以，$b = \{ x, y\}) \Rightarrow u \in \{ x, y\})$。若$b \neq \{ x, y\}$，则$b = \{ x \}$，所以$u \in \{ x\}$，即$u = x$。因为$x \in \{ x, y\}$，所以$u \in \{ x, y\}$。因此$b \neq \{ x, y\} \Rightarrow u \in \{ x, y\}$。所以，无论如何都有$u \in \{ x, y\}$。从右往左，若$u \in \{ x, y\}$，则$u \in \{ x, y\} \land \{ x, y\} \in <x, y>$，所以根据规则E4就有$(\exists v)(u \in v \land v \in <x, y>)$，也即$u \in \bigcup <x, y>$。证毕。

Axiom P告诉我们如果$x, y$是集合，那么$\{ x, y\}$也是集合。这个结论可以扩展到$n$个集合的情况。定义$\{ x_1, ..., x_n \}$是$\{ x_1, ..., x_{n-1}\} \cup \{ x_n \}$的缩写，则以下引理告诉我们$\{ x_1, ..., x_n \}$也是一个集合。
引理4.5.2：

$$\vdash (\forall x_1)...(\forall x_n)(\forall u)(u \in \{ x_1, ..., x_n \} \Leftrightarrow u = x_1 \lor ... \lor u = x_n)$$ 。即存在一个集合，它的成员是 $x_1,...,x_n$中的某一个。

证明：$n=1,2$时显然成立。假设$n-1$时成立，考虑$n$的情况。若$u \in \{ x_1, ..., x_n\}$，根据定义可得$u \in \{ x_1, ..., x_{n-1}\} \cup \{ x_n\}$，即$u \in \{ x_1, ..., x_{n-1}\} \lor u \in \{x_n\}$。由归纳假设可得，$(u = x_1 \lor ... \lor u=x_{n-1}) \lor u = x_n$，所以$u = x_1 \lor ... \lor u=x_{n-1} \lor u = x_n$。反过来，若$u = x_1 \lor ... \lor u=x_{n-1} \lor u = x_n$，则$(u = x_1 \lor ... \lor u=x_{n-1}) \lor u = x_n$，由归纳假设可得$u \in \{ x_1, ..., x_{n-1}\} \lor u \in \{x_n\}$，即 u∈{ x1,...,