[w+1,w_1)全部对应A0
A0+1=A0
A0^2=A0

集合论之所以能成为数学大厦的基石就是因为集合能摹刻几乎一切数学对象的性质，公理化集合论的建立就是以集合为底层重新构造一切数学对象的过程，这其中最先被构造出的就是序数和基数。
一句话概括序数的冯诺伊曼定义：序数是所有在它之前的序数的集合。
这样一来序数0是空集{}，序数1是{0}也即{{}}，序数2是{0,1}也即{{},{{}}}，序数3是{0,1,2}，……序数ω是自然数集N，ω+1是恰以N和所有自然数作为元素的集合{0,1,2,……,ω}。

集合论中基数的定义：等势(可以建立双向映射)的一族序数中最小的那个被称为基数。
第α个基数被称为阿列夫α(Aleph-α)，它们组成了包含所有基数的阿列夫序列，阿列夫0就是ω；
基数被用于衡量集合中元素的多少，一个集合的势为阿列夫α意味着该集合能与阿列夫α建立双射；
以阿列夫0为首项的另一个基数序列是贝斯(Beth)序列，Beth-1是Aleph-0幂集的势，Beth-2是Beth-1幂集的势……
由阿列夫序列的定义可知Beth-α ≥ Aleph-α，“Aleph-1=Beth-1”即连续统假设1963年被证明独立于ZFC公理系统；
通常所说的“实数集的势为阿列夫一”其实需要连续统假设成立为前提，“空间中所有曲线的集合的势为阿列夫二”更是需要广义连续统假设成立为前提，严谨的说法需要把这两句话里的阿列夫数替换为相应的贝斯数；
有限序数(自然数)的基数就是它本身，超限序数的基数小于等于它本身。

ω+1的基数是阿列夫零，连续统假设成立，不存在阿列夫零<基数k<阿列夫一

ω^ω、ω1CK这类东西的基数也是阿列夫零，ω_0是阿列夫零，ω_1是阿列夫一，连续统假设成立，实数集的基数是阿列夫一，大于自然数集，因为自然数集不能跟实数集一一对应，论证过程如下：
任选几个实数，0.1
0.01
0.001
.....
0.00000..(无限循环)...1
自然数集与他们对应，然后元素对应完了，自然数集已经没有元素了，还有很多的实数
例如
0.2，0.02，0.002，0.6448，0.67518

区间[ω,ω₁)内序数的势都是阿列夫0

所以工对应哪基数