天才一秒记住【热天中文网】地址：https://www.rtzw.net
落地的时候，脚踩在了一片极平极平极硬极硬极冷极冷的表面上。
不是地面，是“公理平面”
。
是数学宇宙最底层的逻辑基面，由极少数极少数几条不证自明的原始命题直接凝成，每一条都极简单：存在一个空集，每一个数都有一个后继，两点之间直线最短。
这些原始命题在公理平面上铺成极薄极薄极透极透的一层膜，膜上面浮着由它们推演出的整个宇宙：远处那些山不是山，是极庞大极庞大极复杂极复杂的定理簇，定理簇是由无数道引理层层叠叠叠出来的，每一道引理都是一道极细极细极亮极亮的逻辑丝，从最底层的那片公理膜往上长，长到一定高度，被“定义”
定型，凝成极稳定的“定理峰”
。
定理峰极高极高极陡极陡，峰面上刻满了极密极密极细极细的推导过程，每一段推导都可以被无限回溯到峰脚那层公理膜的原始命题上。
这就是数学宇宙的结构——“万物皆可证明”
。
一切存在都要在公理膜上有推导链，推导链不断则可证为“真”
，推导链断开则被排除为“假”
。
在这个宇宙里，“真”
和“假”
是绝对的、二值的、不可模糊的。
一个实体要么在公理膜上有完整的推导链，要么没有——没有就被系统当作“假值”
排出去。
这里没有时间，没有空间，没有物质，没有能量，只有逻辑。
逻辑就是这里的“时间”
——推导链的每一步从前提到结论，就是这里的“事件”
。
逻辑就是这里的“空间”
——命题与命题之间的蕴含关系，就是这里的“距离”
。
秦若在公理平面上蹲下来，把掌纹贴在公理膜上。
公理膜极冷极冷，不是温度的冷，是逻辑的冷——不证自明的原始命题不问任何东西，只是“在”
。
她把掌纹沿着公理膜轻轻铺开，铺到极远极远极边极边的系统边缘。
那里有一层极厚极厚极高极高的命题堆积层——“假值堆积区”
。
被系统判定为“假”
的实体全部堆在这里：它们的推导链在公理膜上断了，被排异系统拦在系统内部，堆在运算边界，堆成极密极密极厚极厚的一大片假值废墟。
她在这片废墟里摸到了极多极多被压在最底下的极旧极旧极碎极碎的命题碎片。
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！