@提亚马特💕 是否如此理解:
不动点=不可达性,可以理解为高阶无穷。
将有穷定义为零阶无穷,而ω为一切有穷的不动点,可钦定为一阶无穷。
ε序数为一切ω的不动点,可理解为二阶无穷。
事实上,从ω开始,ω+1,ω+2……诸如此类,表示的并非加法,而是在ω领域后强行定义而出的序数。
抵达无穷领域后,每一个超穷序数的差距都不再是真正的一二三四,而是打包一切有穷都数不尽的差距。
超穷序数身为无穷领域,本身便具有超逻辑性质——至少是针对有穷具有超然特性——所以加一的差距映射到有穷领域,那是足以将有穷直接撑爆的。
也就是无限的一切都是无限的,足以碾压有穷。
即便那只是真正意义上在第一个超穷序数ω之后,倒数第二小的超穷序数ω+1