秦若看着那片极光滑的断口,忽然想起她还在丹房给孙管事当杂役的时候,有一次废料堆里混进一批没有标签的丹渣。李墨师叔路过扫了一眼,说这不是废料,是还没找到对应丹方的游离药元,留着,以后可能有用。切得再光的断口,也不是假——只是还没找到它的证明。她只要把那条“不能证明为真就自动为假”
的逻辑切开,这片假值废墟里所有东西都能重新被公理膜接回去。她用掌纹里序层的运算流沿着断口写了极细极细极微极微的一段新公理——“存在不能被证明为真但可被指定为真的命题”
。不是选择公理,是“指定公理”
。指定公理不是让系统随机选一个,而是允许系统在推导链的某一步,当遇到“无法继续证明”
的命题时,主动停下来,把命题标记为“未定”
,但不假。未定的命题仍然可以继续往上叠成定理峰,但它的底层会一直保留这个“未定”
标签。以后如果有新的引理接入,这个未定可以被重新打开,重新证明,重新叠。如果一直没有新的引理,它就一直是“未定”
——不是真,不是假,是“可能真”
。哥德尔不完备定理说:在任何一个足够强大的逻辑体系里,都存在一些命题,它既不能被证明为真,也不能被证明为假。希尔伯特计划要“完备且一致”
,哥德尔说“不可能”
。逆律在这里嵌入的是希尔伯特计划的强硬版:强制完备,不惜牺牲一致。把那些不能证明为真的命题直接切掉,系统就“完备”
了——但切掉的那部分,恰恰是这个宇宙的完整一面。她在公理平面上站起来,把这段新公理沿着断口刻进公理膜。问层在那一瞬间忽然跳得极快极快极亮极亮——假值废墟底下那些被压在最深处最深处的命题碎片忽然全部同时震了一下,每一个断口都被重新打开了。它们不是假,它们是“还没被证明”
。那些碎片开始被公理膜重新接回去,断口上自动生出一小段极细极细极柔极柔的“未定”
标签。“未定”
意味着“可能真”
,它们可以继续长,不必再被丢进假值废墟。
江辰把花放在公理平面上,花心里那道分之轮回的完整模型在指定公理接入的一瞬间往深处又多走了一层——通往空核的文路尽头,那片一直在轻轻哼鸣的膜忽然多了一道极清极清极准极准的音阶,和音乐宇宙那道原始低音在公理膜上重新共振成同一道和弦。空核原来不仅有“记”
的纹、“替”
的纹、“共融”
的律,它还有自己“未定”
的命题。那些命题不是真,不是假,是混沌在分化时给自己留的问。
秦若站在公理平面边缘那片假值废墟前——废墟上那些刚刚接到新推导链的命题,正一层一层地往上长,第一次从这个宇宙深处升起。那不是什么定理峰,那里是“可能性”
。她把那片还在重新接链的命题最初断口上的“未定”
标签轻轻收进掌纹里问层的最深处——这层指定公理从此长在她的掌纹里,和问层同一频率振动。以后不管碰到什么“不能证明为真就被判定为假”
的逻辑,她都可以在这一层里替它标上“未定”
——未定就是还有机会,未定就是还没完。
小念蹲在那片命题的诞生处,把那些碎屑底层最细最细最弱最弱的几个初态碎片轻轻捡起来——它们太小了,断口太新,链还没接稳。她用想把它们的最外层轻轻裹住,等它们自己的推导链长稳了再放开。归晚的影子铺在公理膜上,稳住了所有正在接链的断口——新公理刚接入,公理膜整体逻辑频率在变,有些表层定理峰在轻轻震。她把那些震感一层一层稳下来,等新公理完全融入系统。归月的银照进那些刚刚被接回系统的“未定”
区域,里面还很暗——逆律撤走了,但逻辑光还没有完全铺进去。她先把光照进去,让那些还没有来得及长推导链的初态命题能在光里自己找位置。江念安把空沉在最底层——逆律在数学宇宙用的是极简极薄极透的一道“完全性约束”
,不是壳,就一层膜。他把这层膜从公理底层轻轻兜上来,放进花心备份层。江念归的托托起了那些在公理切换瞬间卡在真假交界处、还没来得及被新公理接住的半真假命题,让这些最尴尬的命题像曾经那些半灭态暗点一样,也有一个托。江念在的到痕刻在公理膜上那道新公理的最初接入点——这是数学宇宙第一个“未定”
命题被接回系统的地方,从此以后这里不再是系统边缘,这里是“可能真”
的起点。
楚红袖的圆圈在最后那一瞬间把所有接到新公理的命题、所有正在重新长链的断口、所有“未定”
标签、所有被光照进去的初态命题拢进同一个环,轻轻转了一圈。那些还没有完全长稳的推导链在环心里忽然同时被调准了节奏——不是被证明,是“被环住了”
。环在,它们就不会再掉进假值废墟。从此每一个“未定”
都在环里有一个位置。
秦若把掌纹从公理平面上收回来,纹里的八层已经自动排列成极精密的公理网络——不止是多层,而且是“等距”
。从音乐宇宙带出来的分化原振层是极柔极柔的泛音场,从数学宇宙新接入的指定公理层是极准极准的逻辑格。音和律在掌纹里第一次完全同构,不是互相干扰,而是“对位”
——音乐宇宙每一个泛音都在数学宇宙的公理层里对应一个极准的频格。从此她共振任何宇宙时,都可以同时用音去拨、用律去准,不会偏。
她站起来,看着那片还在往外扩的新推导链。在这片本来只有真和假的宇宙里,从现在开始多了一个“可能真”
,那是混沌在分化时给自己留的问——接回来了。她转过身,把手轻轻放在岔路口的壁上。下一站是艺术宇宙。