l_α是l_β的Σ_1-初等子结构，

　　l_β是l_(β+1)的Σ_1-初等子结构，……

　　………………

　　无穷个结构通过Σ_1-初等子结构环环相扣，形成了长度为2的稳定链。

　　往后还有长度为3，4，5，6，……的稳定链（这里省略号指代所有有限数、阿列夫0领域的序数（可数序数））。

　　从α出发，形成长度为α的稳定链；从α0出发，经过长度为α0的稳定链，到达α1，又经过长度α1的稳定链，到达α2；从某个序数出发，形成长度为α的稳定链，到达α自身。

　　稳定序数都有不止Σ_1的版本，Σ_2、Σ_3、…………等等等等，都有它们的稳定序数。在所有Σ_n之上，要用到初等嵌入j:l_(α+η)→l_(β+η)和j:l_(α+η)→l_(w_1+η)，η每进一步就相当于Σ_n的Σ_n个层级。

　　（归递不可达序数、马洛序数、反射序数都只是Σ_0！！

　　定义计算器或计数器:φ（0）=初等子结构，φ（1）=高等子结构，……）

　　w_1即阿列夫1，从w_1出发，可以做同样的操作，从e数、……等等等等，到不可递归序数、admissible序数、马洛序数、……等等等等，再到稳定链，最后到这些东西的初等嵌入，接着又从w_2出发，往后还有w_3、w_4、……等等等等，各种阿列夫数、大基数嵌套进去。

　　必须注意:

　　这里的阿列夫1、阿列夫2、……之类并不是真正的阿列夫1，而是(阿列夫1)^l——将公式中的量词、谓词全部约束到l内所得的定义，即“l中的阿列夫数、大基数、……”！！！这里的l也不是v=l或v=终极l里的那个l！而是阿列夫0版本的！

　　定义计算器或计数器:φ（0）=标准版本的可数序数，φ（1）=l版本的可数序数（也就是把阿列夫数、大基数、……等等等等初全部约束、初等嵌入到阿列夫0里而产生的序数），…………

　　其顶端称作nonprojectable序数，nonprojectable序数是位于所有种类的稳定序数之上的序数。

　　（我们还可以用上述各类序数定义数种计算器或计数器，这里我只定义了一些，剩下的就不定义了，直接简略过，反正已经定义过很多次了，基本套路你们应该都已经明白了。）

　　……

　　许久之后，无神大帝也发现了这个问题，他无法穷尽可数序数，只能尽力扩充自身能够涉及的可数序数，他用常规手段无法通过可数序数来叠到阿列夫一，客观真实的阿列夫一大的可怕。

　　于是他决定……换个角度思考问题，既然他不行，那么……创造一个全能者不就行

　　请收藏：https://m.maoqi8.com

（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）