开档案,找到第7页。那里有一行被划掉的字,墨迹很重,像是写的人非常用力,然后又在愤怒中把它划掉:“如果公理系统不完备,那么系统内必然存在一个无法证明的命题。”
划掉这行字的人,在下面补了一句:“所以,这个命题就是公理本身。”
谢铭的手猛地握紧。
公理。
林霜的命题,不是定理——它是公理。它不需要被证明,因为它就是证明本身。
他正要继续往下看,手指触到档案的封底,感觉下面还有东西。他翻开封底,发现里面夹着一张照片。
照片已经泛黄,边缘有些卷曲。上面是一群穿白大褂的人站在裂缝前——那道裂缝他认得,是求真塔地下实验室里的第一条裂缝,现在已经被加固封印。
谢铭的目光扫过每个人的脸。
然后他停住了。
人群中间,站着一个年轻女人。白大褂,短发,眼镜反射着裂缝的蓝光。她的脸半藏在阴影里,但谢铭还是认出了她——白敛。
年轻的白敛。
照片里的白敛看起来不到三十岁,站在人群的最前方,手里拿着一份文件。她的表情很平静,甚至带着一丝微笑,像是在参加一次普通的学术会议。
谢铭的目光移到白敛身后。
那里站着一个模糊的身影。
轮廓像林霜——身高、体型、站姿——但面容完全看不清,像是照片曝光过度,把她的脸融进了背景的光里。谢铭眯起眼,试图分辨出五官,但越看越模糊,像是有什么力量在阻止他看清。
他翻过照片。
背面用铅笔写着一行字:“零号实验·观测者·林霜”。
谢铭的手指僵住了。
观测者。
不是“参与者”,不是“研究员”,是“观测者”。在逻辑修真的术语里,“观测者”是一个特殊的角色——他不参与系统运作,只负责记录系统的行为。观测者的存在,不影响系统的状态。
但如果观测者本身就是系统的一部分呢?
如果观测者被定义为系统内的一个公理呢?
谢铭的手开始发抖。
他想起林霜消失前说的那句话:“因为我不想死。”
她不是不想死。她是不想被证明。
如果她是公理,她不需要被证明。但如果有人试图证明她,她就会从“公理”变成“定理”——从一个自洽的存在,变成一个依赖于其他命题的推
本章未完,请点击下一页继续阅读!