意:
这里的阿列夫1、阿列夫2、……之类并不是真正的阿列夫1,而是(阿列夫1)^L——将公式中的量词、谓词全部约束到L内所得的定义,即“L中的阿列夫数、大基数、……”!!!这里的L也不是V=L或V=终极L里的那个L!而是阿列夫0版本的!
定义计算器或计数器:φ(0)=标准版本的可数序数,φ(1)=L版本的可数序数(也就是把阿列夫数、大基数、……等等等等初全部约束、初等嵌入到阿列夫0里而产生的序数),…………
其顶端称作nonprojectable序数,nonprojectable序数是位于所有种类的稳定序数之上的序数。
(我们还可以用上述各类序数定义数种计算器或计数器,这里我只定义了一些,剩下的就不定义了,直接简略过,反正已经定义过很多次了,基本套路你们应该都已经明白了。)
(特别感谢贴吧大佬&知乎大佬“Hyp_Cos”(贴吧id,知乎id是“HypCos”)的教导,!!)
……
许久之后,无神大帝也发现了这个问题,他无法穷尽可数序数,只能尽力扩充自身能够涉及的可数序数,他用常规手段无法通过可数序数来叠到阿列夫一,客观真实的阿列夫一大的可怕。
于是他决定……换个角度思考问题,既然他不行,那么……创造一个全能者不就行了么?全能者是全能的,必然能够做到可数序数叠到阿列夫一!——哪怕他不明白也
本章还未完,请点击下一页继续阅读>>>