公理集合论导引 张锦文写的 有些地方看不懂

序集的定义其实是归纳法的想法.X0是最小的,x的子集,满足传递和连接,但不是序数的集合.
利用正则公理,X0的所有元素都是传递和连接的,x的子集合.所以,他们都是序数.根据序数的定义第三条,x是序数.
其实我也不太懂,除非假设所有的元素都是集合,所有的集合都是由空集生成的.

张锦文定理2.23的证明(用“≤”表示包含于，“┓”表示否定，“ⅴ”表示任意，“Э”表示存在)
先考虑（1）即ⅴy[y∈x0->Эz[z∈x0∧y∈z]]
<-> ⅴy[y∈x0->y∈∪x0]
<-> x0≤∪x0
由于x0是传递集因此有∪x0≤x0，所以有x0=∪x0。由序数的定义如果x0是一序数的集合则∪x0也是，但∪x0...