类型空间里，气氛有点凝重。
陈凡他们围坐成一圈，中间漂浮着曼德博祭司给的那个分形画面——那个伪自由意志的扭曲漏斗模型。
“分形伪装需要准备时间。”
路径构造者说，“大概要三个时辰。这三个时辰里，你们可以再了解下谓词逻辑学派的情况。”
模糊数学代表飘过来，身体像一团会呼吸的迷雾：“谓词逻辑……它们的世界观很简单：一切都可以被命题描述，每个命题都有真值——真、假，或者在某些情况下‘未定’。”
建构主义代表那由构造步骤组成的身体咔哒咔哒响：“它们的核心工具是‘量词’：‘对所有x’（?x）和‘存在x’（?x）。任何陈述都可以用这些工具分析。比如‘所有天鹅都是白的’就是?x(天鹅(x)→白色(x))。”
直觉主义代表流动着，声音像是从水底传来：“但问题在于，它们中的极端派认为，数学宇宙应该只有‘真’和‘假’，没有‘未定’。自由意志的存在导致了很多‘未定’命题，这让它们很不舒服。”
陈凡皱眉：“所以它们要消除自由意志，让一切都变得确定？”
“不是消除。”
路径构造者纠正，“按分形学派的情报，它们是想‘改造’——用分形技术创造伪自由意志，证明自由意志可以被完全描述和控制，从而剥夺它的特殊性。”
林默挠头：“这逻辑有点绕啊……”
苏夜离倒是听懂了：“就是说，它们想证明：‘你看，自由意志没什么了不起的，我们都能造出来。所以真正的自由意志也不应该有特权，应该接受真理框架的约束’？”
“对。”四个学派代表同时点头。
冷轩擦拭剑锋的手停了停：“虚伪。”
陈凡摸摸她的头：“你说得对。但问题是怎么证明‘真’和‘伪’的区别。在谓词逻辑的世界里，这可能就是个需要证明的命题。”
三个时辰很快过去。
分形伪装准备好了。
曼德博祭司亲自操作。
它那曼德博集合构成的身体分出几缕光丝，缠绕住陈凡他们每个人。
那些光丝开始编织复杂的伪装结构——不是覆盖表面，而是从存在本质层面进行伪装。
“现在你们看起来像是普通的数学对象。”
祭司说，“陈凡伪装成一个‘递归函数’，苏夜离是‘依值函数’，冷轩是‘剑道算法’，林默是‘概率分布’，萧九是‘混沌扰动’。”
它顿了顿：“但记住，伪装只是表象。如果你们做出太明显的自由选择——比如在应该确定的地方表现出不确定性——伪装就可能破裂。在谓词逻辑领域，一切都必须符合逻辑规则。”
科赫雪花长老补充：“我们会在外部维持伪装，但不能保证百分百安全。你们自己小心。”
希尔伯特曲线导师：“还有，我们已经帮你们规划了潜入路径。从类型空间到谓词逻辑领域的边界，有一个薄弱点，是它们‘真理监控网’的盲区。但只能使用一次，出来后就会被发现。”
陈凡点头：“明白了。那我们出发吧。”
五个人的手握在一起。
路径构造者打开通道。
那是一条极其隐蔽的路径，在类型空间的夹层里蜿蜒，避开主流的数学流。
他们沿着路径前进。
周围是各种数学结构的“背景噪声”——定理的证明流、定义的构造过程、猜想的波动……
走了大概半个时辰，前方出现一堵“墙”。
不是实体墙，而是一层致密的逻辑结构。着无数命题和真值判断：
最后一条让陈凡眼皮一跳。
“这就是真理监控网的一部分。”
林默小声说，“它们还在评估你。”
希尔伯特曲线导师的声音在他们意识中响起：“盲区就在左下方，那个‘哥德尔自指悖论’的阴影里。快，监控网的扫描周期是三十秒，现在还剩十五秒。”
他们冲向那个阴影区域。
那是一个奇怪的区域——逻辑结构在这里打结，形成一个自指循环：“本命题为假”如果真则假，如果假则真……监控网的扫描到这里就会陷入无限循环，所以成了盲区。
他们挤进阴影。
刚进去，就感到外面有强大的扫描波掠过。
“好险。”苏夜离松了口气。
阴影里有一条裂缝，通向谓词逻辑领域内部。
他们钻进去。
瞬间，周围的一切都变了。
如果说类型空间是流动的、多维的，混沌迷宫是变幻的、感性的，分形宇宙是嵌套的、自相似的……那么谓词逻辑领域就是……规整的。
太规整了。
一切都排列得整整齐齐。空间被划分成一个个逻辑单元，每个单元里都有一个或几个命题在“运行”。
天空中是巨大的真值表，像云一样飘浮。
地面上是整明路径，像街道一样纵横交错。建筑物都是逻辑结构——有些是蕴涵塔（如果a则b），有些是全称堡垒（对所有x），有些是存在宫殿（存在某个x）。
路上的“行人”都是逻辑存在：证明过程像流水一样奔走，反例像闪电一样划过，定理像纪念碑一样矗立。
这里的一切都在“计算”——计算真值，计算证明，计算逻辑后承。
“感觉好……压抑。”
萧九缩了缩脖子，“喵，连空气都在计算。”
林默用概率网络扫描了一下：“这里的‘自由度数’极低。几乎所有事件的概率都是0或1，几乎没有中间值。”
冷轩握剑的手紧了紧：“我的剑意在这里被压制了。剑道讲究‘剑出无回，意随心动’，但这里的一切都要先‘证明合理’才能行动。”
陈凡感受了一下自己的状态。
伪装在起作用，他看起来就是一个普通的递归函数，在按照固定规则运