怕找不到回家的路！请截图保存本站发布地址：www.ltxsdz.com
而算术体系也有类似的东西。地球
称之为“皮亚诺公理”。皮亚诺公理将整个算术归结为一个有五条公理的系统，这五条公理支撑起了整个算术体系。
那么，这个公理体系完美吗？严格的自洽吗？无矛盾吗？
这些问题的答案都是打问号的。第三次数学危机是集合论的问题，越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问：算术公理系统的无矛盾
——欧氏几何的无矛盾可否归结为算术公理的无矛盾？
希尔伯特本希望用形式主义计划的证明论方法加以证明，冯诺依曼也也顺着这个角度做了下去。
王崎则是打算顺着冯诺依曼的路子接着走下去。
算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许多。
当然，这也是相对而言的。有资格参与希尔伯特计划的，只有第一流的数学家。而王崎并没有背下这一篇论文，他只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中
碎了，无数数字化为星辰大海，在他眼前闪烁，却又遥不可及。
思考是信息的流动，而这场流动搅扰了魂魄。
王崎的魂魄当中也出现了一条星河，由数字与算符构成的天河。
消去全称量词……引
全称量词……消去存在量词……引存在量词……
每一次推理都伴随这星河的一次涨落。
然后，一道法力的
汐出现了。
王崎思考、计算的时候，总会运转爻定算经。法力经过
窍之中的
阳爻，就会进行一次二值判断，完成二进制的运算。这道随着魂魄而出现的法力汐也顺着爻定算经的行功路线浩浩汤汤的前行。
每当这块汐冲开一个窍，在里面盘旋一匝，就有一个新的阳爻产生。
然而，王崎的推演停滞了。
他感觉到了明显的瓶颈。有一个结论就在他手边，可怎么就是说不出呢？
就在这时，纷
的灵力传来。王崎感到一阵厌烦他想要一剑斩灭这个让他厌烦的东西。
一剑斩灭……一剑斩灭……一剑……一……
王崎想到了什么。
灵感，如同洪流般涌现。
与灵感同时来到的还有……力量！
