“你们在躲什么？”
老者问，声音温和但带着不容置疑的逻辑性。
陈凡立刻启动伪装模式，用机械的声音回答：“函数f在执行递归调用，路径规划遇到逻辑冲突，正在重新计算。”
老者盯着他看了几秒，然后笑了——如果那能称为笑的话。
“伪装得很好。”
它说，“但不够完美。真正的递归函数遇到逻辑冲突时，会立刻进入错误处理子程序，而不是‘重新计算’。你们在模拟，而不是真正运行。”
它举起逻辑卷轴。卷轴上浮现出复杂的符号：
“命题：存在伪装者。真值：真。证明：观察到行为与身份不符。”
陈凡心里一沉。暴露了。
冷轩的剑已经出鞘一半。
但老者摆摆手：“别紧张。我不是真理卫队。我是……持不同意见者。”
它看看四周，压低声音：“这里不安全。跟我来。”
陈凡犹豫。这可能是陷阱。
直觉主义代表的声音通过同伦连接传来：“我的直觉……它没有恶意。但很悲伤。”
陈凡决定相信直觉：“好。”
老者带他们钻进一条小巷。巷子两边是高耸的逻辑墙，墙上刻满了公理和定理。
走了几分钟，来到一扇隐蔽的门前。
老者用特殊的逻辑密钥打开门——那密钥是一个自指悖论：“开门的密钥是‘本密钥无效’”，如果无效则有效，如果有效则无效……
门开了，里面是一个小小的密室。密室里堆满了卷轴，中间有一个简陋的逻辑工作台。
“我是‘公里守护者’。”
老者自我介绍，“谓词逻辑学派的元老之一。但现在……学派已经被极端派控制了。”
它请众人坐下——其实没椅子，大家都站着。
“真理革命派大约一百年前兴起。”
公理守护者说，“最初只是个小团体，认为数学宇宙应该更‘整洁’。但后来它们得到了……外部支持，迅速壮大。”
“外部支持？”陈凡警觉地问，“什么外部支持？”
公理守护者摇头：“不清楚。但肯定很强大，因为真理革命派获得了很多高级数学工具——包括分形技术，这原本不是我们的专长。”
它展开一个卷轴，上面是复杂的逻辑图。
“它们正在秘密建造‘完美真理框架’——一个试图容纳一切数学存在的超级结构。
自由意志是最后的障碍，因为自由意志的‘不确定性’无法被完全纳入框架。”
林默问：“所以它们要制造伪自由意志，来证明自由意志可以被框架容纳？”
“对。”公理守护者说，“更可怕的是，我怀疑它们不只是想‘证明’，而是想……‘替换’。”
“替换？”
“用伪自由意志替换真自由意志。”
公理守护者的声音在颤抖，“如果成功，所有拥有自由意志的存在——包括你，陈凡——都会被框架捕获，改造成‘确定版本’。你们还会觉得自己在自由选择，但其实每个选择都是框架预设好的。”
苏夜离倒吸一口冷气：“那……那还是自己吗？”
“是，也不是。”公理守护者说，“就像……你做了一个梦，梦里你在自由选择，但醒来发现梦是别人编的。你会质疑：那些选择真的是‘我’选的吗？”
陈凡感到一阵寒意。
这比直接删除自由意志更可怕——是把你变成提线木偶，还让你觉得自己在自由舞蹈。
“它们的研究基地在哪里？”
陈凡问。
“有三个。”公理守护者指向逻辑图上的三个点，“主基地在‘真理殿堂’地下，守卫最严。分基地一在‘证明矿山’，负责采集逻辑资源。分基地二在……递归深渊边缘，负责‘测试’。”
“测试什么？”
“测试伪自由意志在复杂环境下的表现。”
公理守护者说，“递归深渊充满逻辑异常和不可判定问题，是完美的测试场。如果伪自由意志能在那里面‘自由选择’并存活，就证明它足够‘真’。”
陈凡和同伴们交换眼神。
“我们要去递归深渊那个基地。”陈凡说。
公理守护者点头：“我猜到了。我可以帮你们。但……很危险。那里不仅有真理革命派，还有它们从递归深渊捕获的‘逻辑异常’作为测试对象。”
它从工作台下拿出几个小装置：“这是‘逻辑干扰器’。启动后，可以在短时间内扰乱周围的真值判断，给你们制造机会。但只能用一次，持续时间三十秒。”
陈凡接过装置：“谢谢。”
公理守护者苦笑：“不用谢我。我帮你们，也是在帮谓词逻辑学派。如果真理革命派成功了，学派会变成可怕的