第414章 空的证明
第414章 空的证明 (第2/2页)窗外，救护车的声音停了。
谢铭继续写：“但‘没有任何元素’本身是一个命题，命题需要被定义。如果空集能被定义，则定义本身构成一个元素——矛盾。”
他的笔在纸上划出沙沙声。12岁的字迹和现在的字迹重叠在一起，像两条平行的线终于交叉。
“因此，空集的存在不能被证明，只能被公理化地接受。”
他写完最后一个字，抬头看向窗外。
阳光洒进来，暖黄色的，和台灯的光融在一起。
母亲没有死。
“不……”谢铭的声音哽住了，“这不对。”
他低头看自己的手——那只刚刚写过字的手，开始变得透明。
“你证明了空集。”阴影谢铭的声音变得很远，“所以你必须接受‘不存在’也是一种存在。你母亲的死亡，被定义为‘未被发生的状态’——但代价是，你的一部分也必须成为‘不存在’。”
谢铭转头。
阴影谢铭站在门边，左手从口袋里抽了出来。
空的。
那只手——和他正在变得透明的手一样——什么都没有。
“你……”谢铭的声音在发抖，“你也是空的？”
“我是你的‘空’。”阴影谢铭说，“你证明了我存在，所以你必须接受我。但接受我，就意味着你的一部分必须消失。”
谢铭看着自己的手。
透明化正在蔓延，从指尖到手腕，从手腕到小臂。
“那我怎么办？”他问。
“选择。”阴影谢铭说，“你可以撤销证明，回到原点。或者——”
“或者什么？”
“或者接受。”阴影谢铭看着他，“接受‘空’不是不存在，而是‘未被定义的存在’。接受你母亲的死亡是一个真命题，但它不可证明。接受林霜的消失也是一个真命题——但它可以被重新定义。”
谢铭的脑海里闪过一道光。
哥德尔不完备定理。
任何自洽系统都存在不可证明的真命题。
母亲的死亡是真命题，但它不可证明。
林霜的消失也是真命题——
“但她可以被定义。”谢铭喃喃道。
“什么？”阴影谢铭皱眉。
“林霜。”谢铭抬起头，眼睛亮了起来，“她定义‘谢铭会记得我’时，已经将‘记得’转化为‘定义’。在自指领域，定义即存在。”
他转身，面对书桌上摊开的作业本。
“空不是不存在。”他说，“空是‘未被定义的存在’。就像林霜——她不是死了，她只是还没被我定义。”
阴影谢铭愣住了。
“你疯了。”他说，“定义一个人存在？你以为你是谁？”
“我是谢铭。”谢铭说，声音平静得像一潭死水，“我是这个自指领域的定义者。而我的第一个定义是——”
他拿起铅笔，在作业本上写下：
“林霜存在。”
***
灰白空间开始震颤。
不是符号风暴的那种震颤——是更深层的、从空间内部涌出的震动，像大地在呼吸。
金色符号从谢铭写下那行字的地方开始浮现，像被点燃的引信，沿着作业本的边缘蔓延。它们爬上墙壁，爬上天花板，爬满整个空间。
每一个符号都在发光。
谢铭抬起头，看到那些金色符号排列成一个完整的公式——林霜的命题，在自指领域里，被重新激活了。
“你……”阴影谢铭的声音在发抖，“你做了什么？”
“我定义了她。”谢铭说，“不是证明——是定义。证明需要逻辑，定义只需要意志。”
阴影谢铭后退一步。
他的身体开始崩解。
“不……”他的声音变得模糊，“你不能……”
“对不起。”谢铭说，“这是代价。”
阴影谢铭看着他，嘴角抽搐了一下。
“你他妈真是个疯子。”他说，声音里带着一种奇怪的敬意。
然后他消散了。
像沙子一样，从脚开始，一点一点变成光点，飘散在金色符号中。
谢铭站在那里，看着阴影谢铭消失的地方。
空荡荡的。
但他没有感到悲伤。
因为他知道——阴影谢铭不是消失了。
他是被定义了。
被定义成谢铭的一部分。
***
金色符号稳定下来，在灰白空间中形成一个完整的环形结构。
谢铭伸出手，触摸其中一个符号。
温暖的感觉从指尖传来——像母亲的手，像林霜的手。
他闭上眼睛。
当他再次睁开时，求真塔的轮廓出现在灰白空间的边缘。
警报声从远处传来。
谢铭知道，当他走出这个空间时，一切都会不一样。
他定义了林霜存在。
他接受了母亲的死亡是一个不可证明的真命题。
他失去了阴影谢铭。
但他得到了——
“定义权。”他喃喃道。
金色符号开始旋转，像星星一样闪烁。
林霜的命题，在自指领域里，被重新激活了。
但他知道，这只是一个开始。
因为定义，是需要代价的。
而他刚刚支付的，只是一个首付。