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