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.bi66.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)