他想到自然数，自然数就是一种无限

当然就数学常识而言，我们常言的无限不是指一个数，而是整个自然数集合的总称(阿列夫零)

??(阿列夫零)就是第一个无限，代表所有自然数的集合

他想起了希尔伯特无穷旅馆

此时他就在??

而??还有幂集，这东西可以无穷无尽的套下去，直至无限次幂

然后他此时无法自下而上，他开始想办法摆脱现状

他开始构造替代公理

他超越了先前一切的叠加

他到达了??（阿列夫一），他继续推进

?2，?3，?4，?5……?……?^^……

炮灰此时也明白了他无法自下而上，但想要摆脱此时的无限困境他需要再次创造一个新公理

创造一个存在公理

于是，他每一次的跨越限度都在无限变大，每一次向上跳跃的程度都超越了之前的言语，超越不可思议本身

更高，他依旧能超越无限去接入一个更加庞大的无限体系，转而继续向上

跃进，跃进向比先前还要大基数和尺寸，乃至接近包涵概念本身

向上……

……

跨越不可达基数

……

弱紧致基数

……

不可描述基数

……

强可展开基数

……

可测基数

……

强基数

……

超强基数

……

突破了矛盾，突破了公理本身

他来到了绝对无穷

……

炮灰在来到绝对无穷后想到了关于绝对无穷的一些事情：

【绝对无穷Ω的性质应该是： Dedekind的，不可数的，具有滤的形式，具有真类的势，是世界的，是弱不可达的，强不可达的，Mahlo的，不可描述的，不可言喻的，不可区分的，Ramsey的，是大基数，是反射论证的，可测的，超可测的，强大的，高大的，Woodin的，无限谓词的，亚紧致的，是超大基数，强紧致的，超紧致的，可扩的，Vopenka的，是巨基数，高度跳跃的，阶对阶的，Icatus的

目前不知道是否有的性质：非良基，不可遗传序数可定义，不可选择，不一致

其中只有“具有真类的势”是描述高度的，其他都是描述宽度的

两者都是预设一个位于集合运算之外仍能无矛盾成立的新基数，也就是所谓的不可达性。理所当然的这是一切无穷公理的通用性质。

宣告这些新基数的一致的公理系统T的有限公理片段都存在可数传递模型。naive地解读，就是，如果你有一个有限的(T)，那么你也有(T+(T+(T+…)))。这是绝对无限的反射原理的弱化形式。

公理系统内的有限个句子都是绝对的。这还是绝对无限的反射原理的弱化形式。

任何稍强的大基数都具有反射论证性质。naive地解读，就是支持反射论证的大基数的关键点，在其下方都具有“绝对无限多个”同样性质的大基数

理想的绝对无限Ω可以naive地看作为终极数学宇宙（柏拉图宇宙/冯洛依曼宇宙）V的基数，普通的则是自然数集合的基数，而大基数就是反射论证非平凡关键点的基数。反射论证理所当然的还是反射原理的弱化形式。

它们都是V≠L的实例，和V=L（可构造集合宇宙）不相容】

……

这个很厉害的东西此时却成为了困住炮灰的牢笼

炮灰摆脱了之前困住他的无限阶梯，但现在他被困在了绝对无限

炮灰开始崩溃了

“啊！！！！！！我*你*，刚摆脱之前的无限阶梯现在又给我困在这鬼地方儿是吧？”

炮灰开始歇斯底里，他到处撒泼打滚开始发癫

“我要出去，我要出去，我要出去……”

在发疯了许久后他开始冷静下来思考

他开始思考怎么才能逃离绝对无穷

炮灰想到了现实中当初绝对无穷引入时发生的事情：

【绝对无穷曾经有两次直接引入的尝试，但都不怎么成功（第一次是康托尔，被康托尔悖论+罗素悖论+布拉利-福尔蒂悖论三连击败引发第三次数学危机；第二次是Berkeley cardinal伯克利基数，被选择公理AC排斥）；然而大基数的引入是相当成功的。

大基数都居于V=WF（良基集合宇宙）之内，而目前能够勉强运作的绝对无穷的衍生物都是居于V≠WF（非良基集合宇宙）之上并且是V=WF的非保守扩张。

不可达基数及其之上的大基数有着非常重要的运用，比如取消分球悖论，导出ZFC一致性，二阶算术完备，而绝对无穷并没有发现有什么特别的用途

绝对无限的衍生物所具有的特异性质：

伯克利基数以及在其之上的基数如果是和ZF一致的将会证否V=HOD和Ω-猜想。并且有可能会引发第四次数学危机推翻第二次数学危机以来的成果：没有选择公理，实分析就和没有地基一样。

如果是朴素意义的作为V的基数的绝对基数无限|V|，在新基础集合论New Foundations， NF里面是可以存在的。但是，绝对无穷只是“目测”起来很强很大，它在一致性强度和证明论强度看起来可以说并不强，而强大的标准其实是非常哲学的判断，是没有唯一定论的】

……

炮灰盘坐在原地

“绝对无穷只是“目测”起来很强很大，它在一致性强度和证明论强度看起来可以说并不强，而且两次直接的引入尝试都不成功”

炮灰站起身来

“既然如此的话……”

他开始给自身添加不可达基数及其之上的大基数，开始使用自身的大基数取消分球悖论，导出ZFC一致性，二阶算术完备

绝对无穷对炮灰的影响开始降低了

炮灰接着往自身添加伯克利基数（Berkeley cardinal）以及选择公理AC，他身上的这个公理开始排斥绝对无穷，影响再一次降低

炮灰开始使用悖论，他抬起手来开始添加悖论，总共三个悖论：

康托尔悖论+罗素悖论+布拉利-福尔蒂悖论

这三个悖论添加到一块儿，炮灰开始轰击这鬼地方儿，总共轰击了三次，每一次都成功了，绝对无穷被三连击败，然后这个地方开始崩溃了

在困住炮灰的绝对无穷被炮灰给弄崩溃之后周围的一切都开始崩溃着

最终，炮灰站在空白里

“啊～终于出来啦～tmd差点被绝对无限和那该死的无限阶梯给逼疯”

此时炮灰行走在空白之中，他超越了大基数阶梯，甚至使用三个悖论击败了绝对无限后他自身也超越了绝对无限

炮灰对此感到愉悦，此时他已经达到了超越绝对无限的恐怖程度

他在空白里愉悦的奔跑

“呦吼，我要在这空白里玩儿好久呀！”

……

回忆录播放完毕

“呼～我曾经的经历可谓是……”

无比精彩，对吧？

“……是啊，无比精彩啊”

那你觉得我怎么样？

“嗯……我不清楚”

唉～好吧，毕竟我和你一样都是存在/不存在啊，这也是没办法的事情

“嗯哼”

哦，对了，你该醒了吧

“那我就先醒过来啦，旁白，咱们一会儿见”

嗯，一会儿见……

……