e0e0=e1，但（e0e0＜e0e0＜e0e0＜……省略一整个嵌套各种大数阶层的e0……＜e0（大数阶层+1）＜…………）=e1！

e1e1=e2，但…………）

（后继法的增长率是0，加法的增长率是1，乘法的增长率是2，次方的增长率是3……

加法是后继法的重复、迭代，乘法是加法的重复、迭代……

我们令“取幂集=后继法”，那么就会得到一套强大的“基数幂集运算体系”，这样得到的“取幂集法”我们依次叫做：取后继幂集、取加法幂集、取乘法幂集、……

这样下去，我们就成功把“大数阶层”嫁接到了基数运算+无穷的领域，我们可以借助其构建更多更强的“阿列夫数”。

对阿列夫0取后继幂集我们可以得到阿列夫1，对阿列夫0取加法幂集我们可以得到阿列夫w，对阿列夫0取乘法幂集我们可以得到阿列夫（wxw）……而无论我们如何取幂集，哪怕是使用各种嫁接到基数运算+无穷领域里的大数函数来取幂集，比如说：tree（阿列夫0）、scg（阿列夫0）、bb（阿列夫0）、rayo（阿列夫0）、……等等等等，哪怕是把整个大数阶层、爆大数阶层、爆爆大数阶层……等阶层体系过一遍，也达不到阿列夫阿列夫1！只能在“阿列夫可数序数”徘徊……，不，如果把e序数的不动点性质算上，阿列夫e0就是就是它们不可突破的壁垒！）

（顺手定义一下高阶数学阶层：

0&0（0）＝有穷基数，0&0（1）＝无穷基数（包含大基数），0&0（2）＝数学阶层…………

定义全新高阶数学阶层：

0&0（0）＝数学阶层，0&0（1）＝高阶数学阶层…………

定义超全新数学阶层：

0&0（0）＝数学阶层，0&0（1）＝全新高阶数学阶层…………

定义超超全新数学阶层：

0&0（0）＝数学阶层，0&0（1）＝超全新数学阶层…………

定义超超超全新数学阶层：…………

以此类推，定义统合数学阶层：

0&0（0）＝数学阶层，0&0（0）_0＝超全新数学阶层，0&0（0）_1＝超超全新数学阶层，……，0&0（1）＝统合数学阶层，…………）

（就如同2↑阿列夫阿列夫零≠阿列夫一一般，2↑阿列夫阿列夫n也不等于阿列夫阿列夫n+1，阿列夫阿列夫阿列夫n、阿列夫阿列夫阿列夫阿列夫n、……等也是同理。）：，，，