第483章 31.后继序数

φ(0)=v,φ(1)=l,……

φ(0)=狭义序数,φ(1)=广义序数,……

φ(0)=狭义,φ(1)=广义,……

φ(0)=排列,φ(1)=排列长度,……

φ(0)=弱广义序数,φ(1)=强广义序数,……

(弱广义序数,即全部的“弱广义序数n”的统称;强广义序数,即全部的“强广义序数n”的统称。

弱广义序数n:广义序数n最弱可以弱到什么程度,那么弱广义序数n就是这个程度,弱广义序数n是广义序数n的“下限”。

强广义序数n:广义序数n最强可以强到什么程度,那么强广义序数n就是这个程度,强广义序数n是广义序数n的“上限”。

嗯,必然存在某一个l里,“妄想序列”被拿来作为广义0存在,那么这个广义0是不是就是强广义0了呢?不是,既然妄想序列都可以被拿来作为广义0,那么比妄想序列更强、更更强、……的存在自然也可以被拿来作为广义0,因此对于我们来说,强广义0的上限是未知的,甚至是不可知的,毕竟谁也不知道到底会有什么样的nb存在被拿来当做了广义0,自然谈不上广义0的上限在哪,也就谈不上强广义0到底有多“强”,强广义0的强是未知的、不可知的、甚至是超然此两者之上的,同理,弱广义0的弱也是如此。)

φ(0)=下限,φ(1)=上限,……

嗯,从广义序数的角度来看,

第一个计算器里的v是广义0,l是广义1,……如此类推。

第二个计算器里的狭义序数是广义0,广义序数是广义1,……如此类推。

第三个计算器里的狭义是广义0,广义是广义1,……如此类推。

第四个计算器里的排列是广义0,排列长度是广义1,……如此类推。

第五个计算器里的弱广义序数是广义0,强广义序数是广义1,……如此类推。

第六个计算器里的下限是广义0,上限是广义1,……如此类推。:,,.