你说的这个是完全错误的，这不是严格定义。
简单说：阿列夫1是大于阿列夫0的最小基数。


序数 → 极限序数  

基数是极限序数， 但极限序数不一定是基数。。。。

构造？ 阿列夫1本身的结构就是。找本公理集合论里面都会有。在这里写就太麻烦了。

阿列夫1不是阿列夫0的幂集。



【 在 gtgtjing 的大作中提到: 】
: 严格定义就是阿列夫0的幂集，然后呢？集合序列M怎么构造呢
: :
--
修改:shangcy FROM 221.216.139.*
FROM 221.216.139.*

这个直观上还可以的，因为这一连串的集合，它们的基数可以递增，

而我那个例子的一连串的集合，它们每一个的基数都是一样的阿列夫0，没有递增.

只能这样了，无穷就是不直观，越想越奇怪。

【 在 gloop 的大作中提到: 】
: 设X是一族集合，关于包含关系构成线性序集，且其中每一个都是有限集。
: 那么X中所有元素的并：∪X不一定是有限集。
: 这个和直观太矛盾了。
: ...................

【 在 shangcy (shangcy) 的大作中提到: 】
: 设M是一族集合，关于包含关系构成线性序集，且其中每一个都是可数集。即：
: ?x, y∈M   → (x?y)∨(y?x)
: ?x∈M  → x是可数集。
: 那么M中所有元素的并: ∪M不一定是可数集，∪M也有可能是不可数集？
: 这个和直观太矛盾了 。
--
修改:shangcy FROM 221.216.137.*
FROM 221.216.137.*