这些问👕🈬题的答案都是打问号的。第三次数学危机是集合论的🎭🔕🀟问题，越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问：算术公理系统的无矛盾性——欧氏几何的🙪无矛盾性可否归结为算术公理的无矛盾性？
希尔伯特本人希望用形式主义计划的证明论方法😩加以证明，冯诺依曼也🖔也顺着这个角度做了下去。
王崎则是打算顺🐓⛀着冯♈🆝🐦诺依曼😢🃆的路子接着走下去。
算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许多🄵。
当然，这也是相对而♈🆝🐦言的。有资格参与希尔伯特计划的，只有第一流的数学家。而王崎并没有背下这一篇论文，他只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中破碎了，无数数字化🔳为星辰大海，在他眼前闪烁，却又遥🖔不可🃅🕕及。
思考是信息的流动，而这场流动搅扰了魂🈩魄。
王崎的魂魄当中也出现了一条星河，由🛢🞂数字与算符构成的天🎭🔕🀟河。
消去全称量词……引入全称量词……消去存在量词……引入存在🍼🍟量词……
每一次推理都伴随这星河的一次涨落。
然后，一道法力的潮汐出现了。
王崎思👕🈬考、计算的时候，总会运转爻定算经。法力经过穴窍之☚中的阴阳爻，就会进行一次二值判断，完成二进制的运算。这道随着魂魄而出🆄🌾现的法力潮汐也顺着爻定算经的行功路线浩浩汤汤的前行。
每当🞻🙕这块潮汐冲开一个穴窍，在🄆🞤里面盘旋一匝，就有一个新的阴阳爻产生。
然而，王崎的推演停滞了。
他感觉到了明⛓显的瓶颈。有一个结论就在他手边，可怎么就是说不出呢？
就在这时，纷乱的灵力传⚦来。王🄆🞤崎感到一阵厌烦他想要一剑斩灭这个让他厌烦的东西。
一剑斩灭……一剑斩灭……一剑……一……
王崎想到了什么。
灵感，如同洪流般涌现。
希尔伯特本人希望用形式主义计划的证明论方法😩加以证明，冯诺依曼也🖔也顺着这个角度做了下去。
王崎则是打算顺🐓⛀着冯♈🆝🐦诺依曼😢🃆的路子接着走下去。
算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许多🄵。
当然，这也是相对而♈🆝🐦言的。有资格参与希尔伯特计划的，只有第一流的数学家。而王崎并没有背下这一篇论文，他只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中破碎了，无数数字化🔳为星辰大海，在他眼前闪烁，却又遥🖔不可🃅🕕及。
思考是信息的流动，而这场流动搅扰了魂🈩魄。
王崎的魂魄当中也出现了一条星河，由🛢🞂数字与算符构成的天🎭🔕🀟河。
消去全称量词……引入全称量词……消去存在量词……引入存在🍼🍟量词……
每一次推理都伴随这星河的一次涨落。
然后，一道法力的潮汐出现了。
王崎思👕🈬考、计算的时候，总会运转爻定算经。法力经过穴窍之☚中的阴阳爻，就会进行一次二值判断，完成二进制的运算。这道随着魂魄而出🆄🌾现的法力潮汐也顺着爻定算经的行功路线浩浩汤汤的前行。
每当🞻🙕这块潮汐冲开一个穴窍，在🄆🞤里面盘旋一匝，就有一个新的阴阳爻产生。
然而，王崎的推演停滞了。
他感觉到了明⛓显的瓶颈。有一个结论就在他手边，可怎么就是说不出呢？
就在这时，纷乱的灵力传⚦来。王🄆🞤崎感到一阵厌烦他想要一剑斩灭这个让他厌烦的东西。
一剑斩灭……一剑斩灭……一剑……一……
王崎想到了什么。
灵感，如同洪流般涌现。