阿尔法重天，阿尔法→阿尔法→阿尔法重天……阿尔法！重天，阿尔法！！重天，阿尔法！！！重天……（阿尔法！）！重天，（（阿尔法！）！）！重天……阿尔法！阿尔法重天，阿尔法阿尔法阿尔法重天……阿尔法！阿尔法！重天，阿尔法！阿尔法！阿尔法！重天……阿尔法！（阿尔法！）！重天……α→α→α……

（“！”是运算符号，a！=（a-1）xa）

（上面这些运算无论是无限还是阿尔法还是欧米茄都是可以互相套用对方的运算方法的）

（欧米茄是序数的无限的，阿尔法是基数的无限大，虽然意思和无限或阿列夫零差不多，不过本书的设定就是不管意思是不是一样，名字不一样就可以看成一个全新的单位）

同时进行的还有“阿列夫数”重天泛宇宙，

阿列夫零，阿列夫一，阿列夫二……阿列夫w，阿列夫w+1……阿列夫w+w，阿列夫wx2+1，阿列夫wx3，阿列夫wx4……阿列夫wxw，阿列夫wxw+1……阿列夫w3，阿列夫w4……阿列夫e0，阿列夫e0+1……阿列夫w，阿列夫ww，阿列夫www……阿列夫e1，阿列夫e2，阿列夫e3……阿列夫ew……阿列夫ee0，阿列夫eee0……阿列夫ζ0，阿列夫ζ1，阿列夫ζ2……阿列夫φ，阿列夫φ，阿列夫φ……阿列夫φ，阿列夫φ……阿列夫φ，阿列夫φ，阿列夫φ，0)……阿列夫φ)，阿列夫φ，0)，0)……阿列夫φ，阿列夫φ……阿列夫φ……阿列夫φ，阿列夫φ，阿列夫φ……阿列夫φ，阿列夫φ……阿列夫φ，阿列夫φ……阿列夫lvo，阿列夫bho，阿列夫tfb……阿列夫ψ，阿列夫ψ)……阿列夫ψ))……阿列夫ψ，阿列夫ψ……阿列夫w1ck，阿列夫w2ck……阿列夫wck_0，阿列夫wck_1，阿列夫wck_2……阿列夫wck_w……阿列夫wck_e……阿列夫wck_ζ……阿列夫wck_wck_……阿列夫wck_wck_wck_……（wck_无限循环）……阿列夫w[w]w，阿列夫w[w[w]w]w……阿列夫ψ，阿列夫ψ，阿列夫ψ……阿列夫ψ……阿列夫ψ……

（这些东西加了阿列夫，和不加阿列夫是两个概念，比如wck_w，不加阿列夫连阿列夫一都达不到！而加了“阿列夫”，变成了阿列夫wck_w则远超阿列夫一，我写的阿列夫零重天你们省略了阿列夫零后面介于w和阿列夫一之间的一切重天，将上面那些阿列夫去掉“阿列夫”就是一部分。）

除了这些“单一单元”的重天之外，还有“复合单元”的重天，如“一重天＋二”重天，“阿列夫零＋一”重天，“阿列夫零＋阿列夫一”重天，“阿列夫零x阿列夫二”重天，“阿列夫零阿列夫三”重天……

但这些在更高级的阿列夫面前依旧屁都不是，比它们高级的多的是……

阿列夫数写完后是阿列夫个数，阿列夫层数，阿列夫塔数，阿列夫直塔……

以上是基数部分，还有序数部分。

｛0，0｝，｛0，0，0｝，｛0，0，0，0｝，｛……｝……｛∞，∞｝，｛∞，∞，∞｝，｛……｝……｛w，w｝，｛w，w，w｝，｛……｝……（上面的阿列夫和无限都可以套进去）

（你们不要看到｛0，0｝这些都是零就觉得好欺负，｛0，0｝＝1，2，3……一直数到w，｛0，0，0｝＝1，2，3一直数到w，然后再把w＋1，w＋2……w＋w数一遍才等于｛0，1｝，而后无限次重复，数到｛0，w｝才＝｛0，0，0｝……简单来说｛0，0｝＝w，｛0，0，0｝＝wxw）

（0｛0，0｝＝｛0，0｝＝w

1｛0，0｝＝wxw

2｛0，0｝＝w的w次方

……无限类推，不封顶

还可以推导出｛0，0｝｛0，0｝，1｛0，0｝｛0，0｝，2｛0，0｝｛0，0｝，……｛0，0｝｛0，0｝｛0，0｝，1（0，0｝｛0，0｝｛0，0｝，……以及更加强大的｛｛0，0｝，｛0，0｝｝，1｛｛0，0｝，｛0，0｝｝，｛0，0｝｛｛0，0｝，｛0，0｝｝等等等等，w和∞的那些也是一样，都可以一样操作，比如这样：｛w[w]w，w[w]w｝）

除此之外，还有不可达基数重天，不可描述基数重天，可迭代基数，强可展开基数，拉姆齐基数，马列基数，0#exists维度，可测基数重天，弱紧致基数重天，强紧致基数重天，超紧致基数重天，沃彭卡原理，殆巨大基数，巨大基数，超巨大基数维度，n-巨大基数，兰姆赛基数，罗伯特基数，琼生基数，公理i0～i3，0=1重天……等等等等各种大基数重天。

（基数分两类，大的和“小”的，不可描述基数在“小”的里面算小的，而听起来很小的可测基数大到爆炸，是大的基数守门员。也可以说成大基数和更大基数。）