欧拉第一个行动起来。他冲到最近的一个书架前，那里悬浮着几个代表基础数论和集合论的水晶棱柱。他将手放在棱柱上，闭眼，大量信息瞬间涌入。几秒钟后，他睁开眼，脸色更加苍白。
“都是真的……而且是最严谨、最完美的表述。”他声音发颤，“包括……哥德尔不完备定理的完整证明过程。看，这里还有图灵停机问题的不可判定性证明，邱奇-图灵论题，连续统假设的独立性……这些全部都是‘真知识’，都被收录在这里。也就是说，这个图书馆承认‘不完备性’和‘不可判定性’的存在！”
“但它却要求我们证明‘完备性’？”白鸽感到荒谬。
“也许它要的是一种……超越性的证明？”林薇猜测，“用这个图书馆里更高深的知识，去‘解决’那些不可判定的问题？”
欧拉眼睛一亮：“有可能！也许在更高的数学层次上，不完备性可以被克服！我需要去查更深奥的资料！”他转身就要冲向那些螺旋楼梯。
“等等。”张伟叫住他，左眼死死盯着那些通往高处的、造型诡异的楼梯，“我觉得不对劲。这个空间本身……就在展示‘不完备’。它收藏了所有知识，包括那些证明‘不完备’的知识。然后它要求你证明‘完备’——这就像让你用‘矛’证明‘盾’是坚不可摧的。逻辑上自相矛盾。”
夜琉璃的光影忽然剧烈闪烁了一下。“张伟说得对。我正在分析整个图书馆的结构……书架排列的拓扑结构，如果映射到逻辑空间，呈现出一种……自指性。看那里——”
她指向远处，几条走廊交汇处，那里的书架排列成一个巨大的、自我指涉的符号：一个书架指向另一个书架，那个书架的内容是关于“书架排列的逻辑意义”，而其中又引用了第一个书架的位置坐标作为例子。更远处，一些悬浮的知识封装体彼此用光链连接，构成一个没有起点也没有终点的论证循环。
“这个空间本身，就是一个活生生的‘自指悖论’。”夜琉璃总结，“它要求证明完备性，但它自身的结构就在不断产生不可判定的命题。这是一个……陷阱。或者说，一个测试。测试你是否能识破这个根本性的矛盾。”
欧拉愣住了，他回头看看那些高深的知识，又看看夜琉璃指出的自指结构，脸上的狂热渐渐褪去，取而代之的是冷汗。“所以……无论我查阅多少知识，找到多么精妙的证明，只要我试图‘证明完备性’，我就已经落入了它的逻辑框架，而这个框架本身是‘不完备’的。我的证明要么会陷入循环，要么会自相矛盾，要么……会触及某个真正的‘不可判定命题’，然后……”
他没有说下去，但所有人都明白后果——逻辑结构崩溃，意识被这浩瀚的知识海洋吞噬，成为图书馆里又一个无声的注解。
“那我们怎么办？”林薇焦急道，“不能证明，又不能放弃。”
张伟闭上眼，努力让左眼的洞察力穿透这庞大的知识迷宫。他看到的东西让他的心跳加速。
在图书馆的“表象”之下，存在着更深的层次。那些书架、知识封装体、走廊楼梯，都只是“界面”。而支撑这个界面的，是无数条纵横交错的“公理链”和“推导流”。它们像这个空间的血管和神经，不断输送着逻辑能量。
但在这严密的逻辑网络深处，张伟看到了许多“断点”。有些公理链走到一半突然消失，融入灰雾；有些推导流撞上无形的壁垒，原地打转；更有些地方，逻辑结构扭曲成怪异的结，不断渗出“悖论毒素”——那是一种黑色的、粘稠的、能污染思维的东西。
这个图书馆，这个号称收藏“所有可能知识”的地方，本身就是一个巨大的、残缺的、充满内部矛盾的体系！
它不“完备”。甚至，它可能正因为无法“完备”，才被创造出来——作为一个“避难所”？
就在这时，张伟的左眼视野边缘，捕捉到一丝不协调的“颜色”。
在图书馆极深处，一片被灰雾笼罩、书架排列极其混乱的区域，有一抹极其微弱的、温暖的、带着人性气息的“光”。那光与周围冰冷严密的逻辑场格格不入，像雪地里一点将熄的余烬。
“那里有东西。”张伟睁开眼，指向那个方向，“不属于这个逻辑体系的东西。”
“是什么？”白鸽问。
“不知道。但可能是关键。”张伟开始朝着那个方向前进。其他人对视一眼，跟上。
穿越图书馆的过程，本身就是一种精神折磨。
越往深处走，知识的“重量”就越大。那些知识封装体不再安静，它们开始“低语”，试图将自身包含的信息强行灌入路过者的意识。欧拉好几次差点被拖住，他脸上交替出现狂喜和痛苦的表情，嘴里念叨着：“黎曼猜想的一个新证明思路……不，这是陷阱……四色定理的简化……停下……”
林薇用灵能勉强撑起一个保护屏障，但银白色的灵光在这里被压制得厉害，只能覆盖很小范围。她脸色越来越差，那些混乱的知识低语像针一样刺着她的意识。
这章没有结束，请点击下一页继续阅读！
喜欢外卖员，开局被御姐领进42局请大家收藏：(m.20xs.org)外卖员，开局被御姐领进42局20小说网更新速度全网最快。