的前身——逻辑研究院——进行了一次大胆的实验。他们试图用一套自洽的公理系统来描述整个宇宙的运作规则。如果成功，这套公理将成为逻辑修真的终极基石，所有裂缝现象都能被预测、控制、甚至消除。
但实验失败了。
笔记第17页，用红笔写着一行大字：“公理系统不完备。系统内存在一个无法证明的命题。”
谢铭的手指停在那行字上。
哥德尔不完备定理。
任何自洽的公理系统，必然存在一个无法在系统内证明的命题。逻辑研究院试图用公理系统描述整个宇宙，但他们忽略了一个问题——如果宇宙本身就是一个自洽的系统，那么宇宙内必然存在一个无法被证明的真理。
这个真理，就是逻辑裂缝的源头。
谢铭翻到最后一页。
笔记的署名栏里，写着：“林霜·观测员”。
他的瞳孔猛地收缩。
笔迹。他认得出这个笔迹。档案里的每一个字，都是林霜亲手写的——那些倾斜的字母、用力过度的钩、末尾习惯性的上挑。他见过太多次了，在那些她写给他的纸条上，在那些她留在厨房餐桌上的购物清单上。
林霜当时在现场。
她不是后来才卷进来的。她从最开始就在。
谢铭的手指颤抖着翻过最后一页，看到笔记的末尾画着一个符号：一个圆圈，内嵌一个三角形。
他的大脑“嗡”地一声。
这个符号。
在自指领域里，阴影谢铭的胸口上，就刻着这个符号。
***
谢铭靠在椅背上，盯着天花板看了十秒。
档案室里的空气越来越闷，灰尘的气味混着纸张腐烂的甜腻，让他有些头晕。他闭上眼，把刚才看到的信息在脑子里重新整理了一遍。
2150年的实验制造了第一条逻辑裂缝。
林霜是实验的观测员。
实验失败的原因，是公理系统内存在一个无法证明的命题。
而这个命题，可能就是林霜的“定义”——她定义“谢铭会记得我”，因为她知道，在公理系统内，这个命题无法被证明，也无法被证伪。
谢铭睁开眼。
他重新翻开档案，找到第7页。那里有一行被划掉的字，墨迹很重，像是写的人非常用力，然后又在愤怒中把它划掉：“如果公理系统不完备，那么系统内必然存在一个无法证明的命题。”
划掉这行字的人，在下面补了一句：“所以，这个命题就是公理本身。”
谢铭的手猛地握紧。
公理。
林