（数学阶层≠数学层次≠阶层体系。有限数排不上号，可数序数=数学第一阶层，不可数无穷为数学第二阶层，大基数+内模型（l，终极l，v=l等等等等）为数学第三阶层，实无穷为数学第四阶层…………数学阶层的具体代迭方式可以参考阶层体系，不过比这更强悍。

实无穷：一阶实无穷、二阶实无穷、三阶实无穷、多阶实无穷、高阶实无穷、实无穷阶实无穷、……、颅内自嗨绝对无限……等等等等，皆是数学第四阶层。

一阶实无穷：民科大基数的巅峰之作，大于一切大基数、内模型、全集、超集、真类、全类、超类、集合论……等等等等，通过命题强行定义的一个“最大”，无论现代数学发展多少年，都无法触及一阶实无穷的丁点皮毛，一阶实无穷与其说是无穷，不如说是一个不可判定的命题更加贴切，一阶实无穷猜想存在那么一个数，名叫上帝，永远存在于未知中，如同光源一般指引着一切数学体系的发展与完善，人类发展数学不过是在光亮残留下的阴影中摸索。二阶实无穷和一阶实无穷的关系远超数学与一阶实无穷的关系，三阶实无穷与二阶实无穷…………

颅内自嗨绝对无限：权限狗限定版，我把你禁言了，你的消息撤回了/删了，你就没法说出比我的数还要大的数了，我的数就是最大数。）

可数序数在三重结构屏障中充当台阶作用，每踏上一个台阶都需要对应该可数序数的力量才能站立，而每一重可数无穷台阶都对应着无穷无尽的阿列夫，每一个阿列夫后面都是无穷的二阶算术、三阶算术……大基数、公理系统、集合论体系等等等等，没有办法，可数序数的数量实在是太“少”了，仅仅多余自然数而已，相比较于无穷领域的各类数来算，实在是稀少的可怜。

踏上可数序数的台阶，依靠自身力量暴力堆砌过去并没有多大效率，只能是空耗自身的力量。最好的办法还是使用一个“可数序数函数”来作为自己的台阶。

ψ就是这么一个可数函数，它有着可数函数领域里较强的能力，能够帮助我们走的又快又稳，为了方便理解这个可数函数，我们需要一些辅助工具，我在本卷85、86章已经简单介绍过了，这里就不加赘述了。

我们先定义φ序数函数的扩展（注意：这不是φ计算器！）：

φ（a@n）=φ（a，a，……，a，a），一共n个a。

φ（a@@n）=φ（a@φ（a@φ（…φ（a@n）…））），一共嵌套n层，也就是说等号后面有n个φ。三个@，四个@，五个@……等，与此类似。

—————————题外话—————————

按照上述规律，我们可以得到该扩展的极限是：φ（a@@@……@@an）。