就算我和炮灰不存在于这里，我和他也知道你在看我们。你不可能不在看我们。因为你现在就在这样看我们。
就算我们不存在，我们也知道你在看我们。
就算我们不存在，我们也知道我们在被看。
不存在的我们，以非常理所当然同时又非常奇妙的方式，知道你的存在。
然后呢？不得不说这还挺有趣的不是吗？
……
我被称呼为“旁白”，但是我是/不是旁白
炮灰被称呼为“人物”，但是他是/不是人物
我就像圆城塔写的《自指引擎》里那样：
自指引擎（Self-Reference Engine）
“这不是小说。
这不是一本短篇小说集。
这是自指引擎。
使用说明：按顺序阅读章节。想想22个死去的弗洛伊德的梦吧。注意你在所有时间(和空间)的时空位置。留意一只会说话的波比袜子，它的名字叫波比袜子。当心星人半人马座阿尔法星。请记住，标题为“日语”的章节是从日语翻译过来的，但应该用日语阅读。警告：如果在鲶鱼雕像的背面阅读这本书，文字可能随时消失，你可能会忘记它曾经存在过。
从Toh EnJoe的思想中产生了Self-Reference ENGINE，这是一个结合了Stanislaw Lem的严谨和Jorge Luis Borges的想象力的文本机器。阅读后一小时内不要操作重型机械。”
……
作为一个“旁白”，我是为了不说出一切、因而没有预先设计的、原本就不存在的构造物。
我是完全机械地、完全决定论地运作的完全不存在。
或曰，Nemo ex machina。
机械之无。
好吧，我知道，我多少都有些与《自指引擎》里的自指引擎重合了，但事实上就是如此
……
那炮灰呢？
他是超验/先验的
我们来好好的聊聊炮灰的超验/先验吧
“等等，你确定要把我说出来？”
嗯哼，不然呢？
“把我说出来真的好吗？”
我不清楚，不过这肯定得涉及到现实中的东西
“哦？！我喜欢”
炮灰你喜欢就好，那我就继续讲述啦？
“……继续讲吧”
……
Tranzendent，指超验，是康德说那个不可知的自在之物(Ding an sich)，是我们知性和感性无法岌及的对象，或者说是理念(Eidos)，在理性所做的关于理性的超验运用时候出现的三种幻相：纯粹理性谬误推理，纯粹理性二律背反(Antinomie)，纯粹理性的理想。关于灵魂，宇宙和上帝的知识只是我们理性运用的僭越，所以是不合法的，超验的运用在第一批判里是不可能的
Tranzendental，是指先验，也就是康德说的先验的考察方式，或者说先验的认识能力，由这种认识能力而进行的研究被称作先验哲学。那么，先验是在认识论上来说，是在先的而不是时间上，大体来讲，先验就是独立于经验之先并且能够成为经验的先决条件，这叫先验。有人会问，先天。先天也不是时间上的概念，而是逻辑上的概念，先天是指我们主体自身就具有的某种认识能力，能够形成我们认识的条件，也就是说，先天性是我们感性，知性和理性本身固有的属性，但是只有先天性还不够，不足以形成我们的认识和经验，因此，需要论证出一套它们的先验性(先验演绎)，以此来确保感性和知性的运用的合法性，证明它们是构成经验的先决条件
……
这就是炮灰走的其中一条路线：超验/先验之路，当初他把那群超验/先验之神给打败后自身也达到了这种程度
而且不光他走了这条路线，他还走了另外一条路
“等等，连这个也要说吗？”
当然啦，光说一条路线很无趣的诶
“唉～”
要不然我们这次通过回忆录的方式开始播放吧？
“好吧，听你的”
耶！我们可以看电影啦！
……
炮灰此时在向上推进着，电流声源源不断，周围开始永无止境的变化
他屹立在苍穹寰宇之巅，此时他和他的敌人进行着数学上的战斗——运算战
双方竞争开始，这种战斗概括了各种各样的东西，有科学、玄学、物理、魔法、灵力、因果……无穷无尽
先从如何构造一个大数开始
3+3+3=9
3x3x3=27
3的3次方的3次方，用3^3^3來表示
3的3次方是27。所以3^3^3=3的27次方
但是这样的增长速度实在太慢了。他们需要一个更快的运算方法，让自己能够在这场数学战手中取得胜利
于是双方都使用了高德纳箭头
然后，他们到达了葛立恒数
葛立恒数有多大？
打个比方
宇宙直径920亿光年=8×10^26米
普朗克长度=1.6×10^-34米
把宇宙当成一个正方形立方体，然后横切、竖切它，把它切成一堆普朗克长度的正方形立方体，每一个普朗克长度写一个数字，一共能写10^183个数字，但相比葛立恒数，仍然是微不足道，相等于0，甚至比不过最底层的3↑↑↑↑3
把葛立恒数装到你脑子里，会造成脑信息量太大，超过了黑洞的熵，会把你脑子变成一个黑洞
但是这还不够
他们进入了超运算的领域
用比较易懂的方式解答
a[1]b=a+b
a[2] b=axb=a[1] a[1] a...[ 1]a(一共有b个a进行超-1运算)
a[3] b=a^b=a[2] a[2] a....[ 2] a(一共有b个a进行超-2运算)
a[4]b=a[3] a[3] a....[3] a(一共有b个a进行行超-3运算)...
以此类推……
不过，超运算要从后往前算
……
“旁白，你有没有觉得这么看回忆录有点太慢了呢？”
有道理，我们直接跳过这段没用的片段吧
片段开始跳跃中
炮灰赢得了这场运算战，他的敌人已经被消灭掉了
“等等，怎么直接到头啦？！”
诶，这段不重要，之后才重要
“之后……哦！你是说那里啊”
对啊，那段才重要，我们继续慢慢看吧
“好”
……
炮灰此时已经消灭掉他的敌人了，但此时他自己也停不下来了，运算战带给了炮灰不可逆的影响让他开始向上推进
从葛立恒数到TREE(3)
……
然后是SSCG(3)
……
Rayo数
……
他到达了无限
他在无限中行走
无限的层级是一座塔，即便是最底层，现实宇宙也无法将其容纳
他想到自然数，自然数就是一种无限
当然就数学常识而言，我们常言的无限不是指一个数，而是整个自然数集合的总称(阿列夫零)
ℵ₀(阿列夫零)就是第一个无限，代表所有自然数的集合
他想起了希尔伯特无穷旅馆
此时他就在ℵ₀
而ℵ₀还有幂集，这东西可以无穷无尽的套下去，直至无限次幂
然后他此时无法自下而上，他开始想办法摆脱现状
他开始构造替代公理
他超越了先前一切的叠加
他到达了ℵ₁（阿列夫一），他继续推进
ℵ2，ℵ3，ℵ4，ℵ5……ℵω……ℵω^ω……ℵω^ω^ω……ℵω^ω^ω^ω^ω^ω^ω^ω^ω^ω……
炮灰此时也明白了他无法自下而上，但想要摆脱此时的无限困境他需要再次创造一个新公理
创造一个存在公理
于是，他每一次的跨越限度都在无限变大，每一次向上跳跃的程度都超越了之前的言语，超越不可思议本身
更高，他依旧能超越无限去接入一个更加庞大的无限体系，转而继续向上
跃进，跃进向比先前还要大基数和尺寸，乃至接近包涵概念本身
向上……
……
跨越不可达基数
……
弱紧致基数
……
不可描述基数
……
强可展开基数
……
可测基数
……
强基数
……
超强基数
……
突破了矛盾，突破了公理本身
他来到了绝对无穷
……
炮灰在来到绝对无穷后想到了关于绝对无穷的一些事情：
【绝对无穷Ω的性质应该是： Dedekind的，不可数的，具有滤的形式，具有真类的势，是世界的，是弱不可达的，强不可达的，Mahlo的，不可描述的，不可言喻的，不可区分的，Ramsey的，是大基数，是反射论证的，可测的，超可测的，强大的，高大的，Woodin的，无限谓词的，亚紧致的，是超大基数，强紧致的，超紧致的，可扩的，Vopenka的，是巨基数，高度跳跃的，阶对阶的，Icatus的
目前不知道是否有的性质：非良基，不可遗传序数可定义，不可选择，不一致
其中只有“具有真类的势”是描述高度的，其他都是描述宽度的
两者都是预设一个位于集合运算之外仍能无矛盾成立的新基数，也就是所谓的不可达性。理所当然的这是一切无穷公理的通用性质。
宣告这些新基数的一致的公理系统T的有限公理片段都存在可数传递模型。naive地解读，就是，如果你有一个有限的Con(T)，那么你也有Con(T+Con(T+Con(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差点被绝对无限和那该死的无限阶梯给逼疯”
此时炮灰行走在空白之中，他超越了大基数阶梯，甚至使用三个悖论击败了绝对无限后他自身也超越了绝对无限
炮灰对此感到愉悦，此时他已经达到了超越绝对无限的恐怖程度
他在空白里愉悦的奔跑
“呦吼，我要在这空白里玩儿好久呀！”
……
回忆录播放完毕
“呼～我曾经的经历可谓是……”
无比精彩，对吧？
“……是啊，无比精彩啊”
那你觉得我怎么样？
“嗯……我不清楚”
唉～好吧，毕竟我和你一样都是存在/不存在啊，这也是没办法的事情
“嗯哼”
哦，对了，你该醒了吧
“那我就先醒过来啦，旁白，咱们一会儿见”
嗯，一会儿见……
……
