现在在哪？”谢铭问。
“在你定义‘最小公理’的那一刻，她会从你的逻辑回路里剥离。”林霜们说，“然后消失。”
谢铭闭上眼睛。
他想起林霜消失前说的那句话：“因为我不想死。”
她不想死。所以她把自己藏在了他的记忆里。藏在了他永远无法忘记她的命题里。
“如果我定义最小公理，她会消失。”
“是的。”
“如果我不定义，裂缝会吞噬整个逻辑系统。”
“是的。”
谢铭睁开眼，目光落在镜面碎片上。林霜的笑容在碎片里闪烁，像一颗即将熄灭的星星。
“那就让她消失。”
***
十七个林霜同时变了脸色。
“你说什么？”
“我说，让她消失。”谢铭的声音平静得像在陈述一道数学公式，“她把自己藏在我的逻辑回路里，是为了活着。但如果我不定义最小公理，所有人都会死。包括她。”
“你疯了。”一个林霜后退一步，“她是林霜。你爱她。”
“我爱的是那个在裂缝边缘拉住我手的林霜。”谢铭说，“不是这个把自己藏在我记忆里的幽灵。”
镜面迷宫开始剧烈震动。裂缝从地面涌上来，像黑色的潮水一样淹没一切。
谢铭感觉到胸口的那颗蓝色星星在发光。它在挣扎。在反抗。
“别这么做。”林霜的声音从四面八方传来，不再是十七个，而是一个——真正的林霜的声音，“谢铭，别这么做。”
“你早就该消失了。”谢铭说，“从裂缝里消失的那一刻，你就该走了。”
“我不想死。”
“没有人想死。”谢铭抬起右手，手指已经完全透明，“但有些命题，必须被定义。”
他闭上眼睛，开始构建“最小公理”的逻辑框架。
***
黑暗降临。
谢铭的意识沉入逻辑回路的底层。这里没有光，没有声音，只有无数条逻辑链在黑暗中延伸。
每一条链都代表一个命题。有些是他自己的，有些是别人的，有些是裂缝从其他时间线里偷来的。
在链条的最深处，他看到了林霜。
她蜷缩在一个发光的茧里，像婴儿一样抱着膝盖。她的眼睛是闭着的，但嘴唇在动——她在重复一句话。
“谢铭会记得我。”
谢铭走到茧前，伸手触碰它的表面。
茧碎了。
林霜睁开眼，目光里没有愤怒，没有悲伤，只有一种奇怪的平静。
“你来了。”她说。
“我来了。”
“你知道这意味着什么