序数记号始终是序数记号（计算器≠序数记号），在某种程度上来说，序数记号是有极限的。
    最简单的例子便是阿列夫0领域的各种序数——ε序数，ζ序数，η序数……φ序数，ψ序数……不可归第序数，归第不可达序数，n-归递不可达序数，归第超不可达序数，n-归递超不可达序数，归第超超不可达序数……而这一切又无法抵达mahlo序数……
    有着一大堆序数，但还是比不过一次“超穷迁跃”，也就是把阿列夫0变成阿列夫1……
    这阿列夫一就是阿列夫零领域的序数记号的极限，但在某种程度上来说又没有极限，就好比有限数的极限是ω，但有限数却没有一个“最大数”作为极限是一个道理，而阿列夫零领域的序数记号比起有限数还要“无极限”许多。
    这里要声明一点，超穷迁跃听起来高大上，戳破来说就是取幂集，书写形式为2^ω，这里特别注明：2^ω≠2^ω，这里是基数运算，2^ω的意思是“取ω的幂集”，也就是P（ω），常规运算2^ω的意思是2×2×……2×2，一共循环无限次，大概结果是ω……没错，无限个2互相乘的最终结果是ω，没什么出人意料的。
    也就是说，我们对“极限”这个概念来一次“超穷迁跃”，就能得到暴打那一堆序数记号的东西，而且还永远凌驾于那一堆序数记号之上。
    而且对于超穷迁跃我们也可以进行扩展，既然超穷迁跃可以书写为“2^ω”，相当于我们运用数学替换公理

本章还未完，请点击下一页继续阅读>>>