他能感觉到自己的意识在被改写。那些关于林霜的记忆——真正的记忆——正在被替换成命题的证明过程。

他记得她笑的样子。

被替换成：命题成立，当且仅当谢铭的自我意识被完全替换。

他记得她哭的样子。

被替换成：命题的真值取决于谢铭的逻辑结构是否与命题一致。

他记得她说“因为我不想死”时的表情。

被替换成：命题的证明需要谢铭的自我意识作为代价。

“停下。”谢铭咬牙。

“你停不了。”阴影谢铭走到他身边，蹲下来，和他一起看着那片空白，“因为你选择了继续证明。”

“我——”

“你选择继续，是因为你爱她。”阴影谢铭的语气平静得可怕，“但爱在逻辑里是什么？是函数，是变量，是命题的一部分。你越爱她，她就越真。她越真，你就越少。”

谢铭的意识开始模糊。

他感觉自己在被分解。

不是死亡的那种分解。是变成逻辑结构的那种分解——他的每一个记忆、每一个认知、每一个情感，都在被翻译成逻辑语言，然后被写入空白区域。

空白区域在写一本关于他的书。

书名是《林霜命题的证明过程》。

“不过，”阴影谢铭站起来，“你还有选择。”

“什么选择？”

“放弃证明。”

谢铭愣住。

“放弃林霜命题。承认它是假的。空白区域就会停止扩张，光河会恢复，你会回到低维空间。”阴影谢铭伸出手，“很简单。只要你说一句：林霜命题是假的。”

谢铭看着那只手。

黑色的长袍，纯白的眼睛，光河在眼眶里流动。

“那林霜呢？”

“她会消失。彻底消失。连记忆都不剩。”

“我——”

“你记得她，她就存在。你不记得她，她就不存在。”阴影谢铭的声音变得很轻，“这就是林霜命题的真相。一个逻辑陷阱。一个让你在‘记得她’和‘活下来’之间选择的陷阱。”

谢铭闭上眼睛。

他想起林霜在裂缝中的表情。那表情不是恐惧，不是绝望，是——

是期待。

她在期待他选择。

不是选择记得她，是选择忘记她。

因为只有忘记她，他才能活下来。

而活下来，才是她真正想要的。

“操。”

他睁开眼。

“我选择——”

* * *

空白区域停止了扩张。

光河开始恢复。

谢铭的手从空白区域里抽了出来——不，是被弹了出来。他被弹回光河，弹回定理之间，弹回那些金色的、深蓝色的、透明的线之间。

他低头看自己的手。

手还在。

但指尖上多了一个印记。一个微小的、黑色的、像裂缝一样的印记。

印记的形状像女人。

“你选择了放弃？”阴影谢铭的声音从光河深处传来。

“没有。”

“那为什么——”

“我选择了继续证明。”

阴影谢铭沉默了两秒。

然后他笑了。

那笑声不像人。像裂缝在震动。像逻辑在崩溃。

“你疯了。”

“不。”谢铭看着指尖上的印记，“我选择了第三种可能。”

“什么第三种可能？”

“我不证明林霜命题。我也不是证明它是假的。”谢铭的手在颤抖，“我把它变成公理。”

阴影谢铭的笑声戛然而止。

“公理？”

“对。公理不需要证明。公理就是真的。”谢铭抬起头，“我不证明她存在。我不证明她不存在。我直接定义她存在。”

空白区域开始剧烈震荡。