严格的自洽吗？无矛盾吗？
这些问题的答案都是打问号的。第三次数学危机是集合论的问题，越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问：算术公理系统的无矛盾性——欧氏几何的无矛盾性可否归结为算术公理的无矛盾性？
希尔伯特本人希望用形式主义计划的证明论方法加以证明，冯诺依曼也也顺着这个角度做了下去。
王崎则是打算顺着冯诺依曼的路子接着走下去。
算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许多。
当然，这也是相对而言的。有资格参与希尔伯特计划的，只有第一流的数学家。而王崎并没有背下这一篇论文，他只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中破碎了，无数数字化为星辰大海，在他眼前闪烁，却又遥不可及。
思考是信息的流动，而这场流动搅扰了魂魄。
王崎的魂魄当中也出现了一条星河，由数字与算符构成的天河。
消去全称量词……引入全称量词……消去存在量词……引入存在量词……