倍福文学

手机浏览器扫描二维码访问

第726章 数学宇宙（第2页）

秦若在公理平面上蹲下来，把掌纹贴在公理膜上。公理膜极冷极冷，不是温度的冷，是逻辑的冷——不证自明的原始命题不问任何东西，只是“在”

。她把掌纹沿着公理膜轻轻铺开，铺到极远极远极边极边的系统边缘。那里有一层极厚极厚极高极高的命题堆积层——“假值堆积区”

。被系统判定为“假”

的实体全部堆在这里：它们的推导链在公理膜上断了，被排异系统拦在系统内部，堆在运算边界，堆成极密极密极厚极厚的一大片假值废墟。她在这片废墟里摸到了极多极多被压在最底下的极旧极旧极碎极碎的命题碎片。她把一块碎片从假值堆积区里轻轻取出来，碎片在她掌纹里轻轻震着，断口极整齐，不是被撞断的，不是被扯断的，不是被压断的，是“被切掉的”

——在它推导链的某一步，一个极关键极微小极小极小的引理被系统直接跳空了。那个引理不是假，不是错，不是悖论，是系统里“没有它的推导链”

。不是推导链断了，是系统从一开始就没有给这类引理留推导空间。

小念忽然抬头看向定理峰的峰脚，那里有一条极细极细极淡极淡的推导链几乎已经被削平了，但底端还残留着一丁点断丝。那个引理被处理过——如果被逆律抹除，归月在机械宇宙死寂区、植物宇宙静默壳里照过的那些断口全部是“强行撕裂”

的碎屑，是被直接拔走的；但在这里，断口边缘光滑得像从未存在过一样，不是没有，是“系统里没有”

。系统极深处一定嵌着一条连系统自己都默认的另一套底层公理——它把所有“不能被完全证明”

的东西自动归为“假”

。

林薇的碗已经放在秦若掌纹旁边了。秦若掌纹里问层正沿着那片极光滑的断口往里探，这些没被抹掉的是被“不允许存在”

的——它们的问题是“不能证明为真”

，所以它们被判假。她把那片注脚区被推翻过的自证记录从问层里调出来，极快地与仍在定理峰顶微震的江辰交换了一次共识：这片公理膜底层嵌着极标准的希尔伯特计划逻辑——完备且一致。林薇把碗轻轻转了一下，碗口对着那片假值废墟。

秦若看着那片极光滑的断口，忽然想起她还在丹房给孙管事当杂役的时候，有一次废料堆里混进一批没有标签的丹渣。李墨师叔路过扫了一眼，说这不是废料，是还没找到对应丹方的游离药元，留着，以后可能有用。切得再光的断口，也不是假——只是还没找到它的证明。她只要把那条“不能证明为真就自动为假”

的逻辑切开，这片假值废墟里所有东西都能重新被公理膜接回去。她用掌纹里序层的运算流沿着断口写了极细极细极微极微的一段新公理——“存在不能被证明为真但可被指定为真的命题”

。不是选择公理，是“指定公理”

。指定公理不是让系统随机选一个，而是允许系统在推导链的某一步，当遇到“无法继续证明”

的命题时，主动停下来，把命题标记为“未定”

，但不假。未定的命题仍然可以继续往上叠成定理峰，但它的底层会一直保留这个“未定”

标签。以后如果有新的引理接入，这个未定可以被重新打开，重新证明，重新叠。如果一直没有新的引理，它就一直是“未定”

——不是真，不是假，是“可能真”

。哥德尔不完备定理说：在任何一个足够强大的逻辑体系里，都存在一些命题，它既不能被证明为真，也不能被证明为假。希尔伯特计划要“完备且一致”

，哥德尔说“不可能”

。逆律在这里嵌入的是希尔伯特计划的强硬版：强制完备，不惜牺牲一致。把那些不能证明为真的命题直接切掉，系统就“完备”

了——但切掉的那部分，恰恰是这个宇宙的完整一面。她在公理平面上站起来，把这段新公理沿着断口刻进公理膜。问层在那一瞬间忽然跳得极快极快极亮极亮——假值废墟底下那些被压在最深处最深处的命题碎片忽然全部同时震了一下，每一个断口都被重新打开了。它们不是假，它们是“还没被证明”

。那些碎片开始被公理膜重新接回去，断口上自动生出一小段极细极细极柔极柔的“未定”