第七十二章 再次破境（4/5）

&&&&那么，这个公理体系完美吗？严格的自洽吗？无矛盾吗？

&&&&这些问题的答案都是打问号的。第三次数学危机是集合论的问题，越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问：算术公理系统的无矛盾性——欧氏几何的无矛盾性可否归结为算术公理的无矛盾性？

&&&&希尔伯特本人希望用形式主义计划的证明论方法加以证明，冯诺依曼也也顺着这个角度做了下去。

&&&&王崎则是打算顺着冯诺依曼的路子接着走下去。

&&&&算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许多。

&&&&当然，这也是相对而言的。有资格参与希尔伯特计划的，只有第一流的数学家。而王崎并没有背下这一篇论文，他只知道结论和大致思路。

&&&&这是一场艰难的思考。

&&&&世界在他眼中破碎了，无数数字化为星辰大海，在他眼前闪烁，却又遥不可及。

&&&&思考是信息的流动，而这场流动搅扰了魂魄。

&&&&王崎的魂魄当中也出现了一条星河，由数字与算符构成的天河。

&&&&消去全称量词……引入全称量词……消去存在量词……引入存在量词……

&&&&每一次推理都伴随这星河的一次涨落。

&&&&然后，一道法力的潮汐出现了。