阶梯比谢铭想的更深。
他数到第四百一十二级时，台阶上的符号变了。不再是那些看不懂的逻辑符号——是他熟悉的。数学归纳法。哥德尔编码。递归函数的定义式。
他的笔迹。
白敛停在他前面三级的位置，回头看他。蓝光从台阶缝隙里渗出来，像某种活物的呼吸。
“你看到了。”她说。
谢铭蹲下来，手指悬在台阶表面上方一寸。那些符号在发光，每一笔都是他大学时期的习惯——数字7带横杠，括号写得特别大。
“这不可能。”
“你的命题是第一个被嵌入的。”白敛的声音很平，“在林霜消失之前，它就存在了。”
谢铭的手指落下去。
触到台阶的瞬间，符号像活过来一样往他指尖里钻。不是疼痛——是一种被阅读的感觉。那些符号在读取他，像一台机器在扫描他的全部数据。
他看到了。
**命题α-0:谢铭会记得林霜**
不是写在台阶上的——是整个阶梯都在支撑这条命题。每一级台阶都是一条子命题，从最基础的数学公理到最复杂的逻辑结构，全部指向同一个结论。
*子命题1.0:谢铭在七岁时预测了母亲的死亡*
*子命题1.1:谢铭用数学公式预测了母亲的死亡日期*
*子命题1.2:谢铭的确定性恐惧症源于这个预测*
*子命题2.0:谢铭在大学时期遇到了林霜*
*子命题2.1:林霜的裂缝与谢铭的数学直觉同源*
*子命题2.2:谢铭对林霜的感情被编码为“必须记住”*
每一条子命题都在发光，每一发光都在告诉他同一件事——他对林霜的记忆不是自然的。是被设计的。
“你做了什么？”谢铭站起来，声音压得很低。
白敛看着他，眼神像在看一个很久以前就已知的结果。
“我什么都没做。是林霜做的。”
“她怎么——”
“她在消失之前，把你的命题嵌入了求真塔的逻辑结构。”白敛转身继续往下走，“她说这是她唯一能留给你的东西。一个保证。”
谢铭站在原地。台阶上的符号还在发光，像在催促他继续往下走。
他看了一眼最底下那条命题。
**子命题∞:如果谢铭忘记林霜，所有子命题将失效，逻辑结构将崩溃**
“这是威胁。”他说。
“这是保险。”白敛的声音从下方传来，“你下来看看就知道了。”
***
谢铭跟着白敛继续往下。
台