求真塔地下档案室的灯光在午夜后自动切换成暗红色。
谢铭蹲在A区第三排书架前，左手按着地面。裂隙感知的淡蓝线条在地砖缝隙间游走，像水银寻找裂缝。三厘米的偏移——昨天书架的位置，今天书架的位置，两条逻辑坐标线在他脑中交叉，形成一个微小的夹角。
夹角指向地下。
他站起来，手指沿着书脊滑动。《逻辑悖论史》《哥德尔全集》《自指与递归》——正常。但《哥德尔全集》的第七卷，书脊上的烫金字“G??del”少了一个字母“e”。
印刷错误？
谢铭抽出那本书。封面平整，没有异常。他翻开书页，纸张的触感不对——太滑了，像某种合成材料。内页印刷的文字在暗红灯光下忽明忽暗，他眯起眼，看到每一页的页码都在跳动。
第1页，第2页，第3页……第7页，第1页，第2页。
循环页码。
他把书倒过来。页码恢复正常，但文字变成了镜像。谢铭的手指停在书脊上，那里有一个极浅的凹痕——指纹形状。他把自己的拇指按上去。
“咔。”
书架底部传来机械声。第三排书架整体下沉了半厘米，然后向右平移，露出一个向下延伸的楼梯。楼梯的墙壁是金属的，泛着冷光，像某种生物的食道。
谢铭没有犹豫，踏上了第一级台阶。
楼梯向下转了三个弯，每转一个弯，头顶的入口就缩小一圈。走到尽头时，他身后的通道已经完全闭合。面前是一扇门，没有把手，没有锁孔，只有一行刻在金属上的公式：
```
P(x)→□P(x)
```
必然性公理。如果某命题为真，则它必然为真。
谢铭盯着那行公式，手指在裤缝上轻轻敲了三下。白敛的笔迹——他认得她写“P”的方式，最后一笔会微微上翘，像在提问。
“门怎么开？”他低声说。
没有回应。公式开始发热，金属表面浮现出新的字迹：
```
证明：你站在这里的原因
```
谢铭的呼吸顿了一瞬。他抬起右手，指尖触到公式下方的金属。裂隙感知涌入，逻辑结构在他脑中展开——门不是锁着的，是“未定义”的。它需要一个命题来定义自己的状态。
他想了想，在金属上写下：
```
谢铭在此，因为林霜不在此。
```
公式闪烁了一下。门向内打开。
里面的房间大约二十平米，四面墙都是显示屏，但屏幕是黑的。中