第0章 再次破境(3/4)
这些问题的答案都是打问号的。第三次数学危机是集合论的问题，越是基础的部分就越是🈺危机的重灾区。这就是希尔伯特二十三个问题中的第二问：算🈱🂆🌞术😑公理系统的无矛盾性——欧氏几何的无矛盾性可否归结为算术公理的无矛盾性？
希尔伯特本人希望用形式主义计划的证明论方法加以证明🚨🕶🎋，冯诺依曼也也顺着这个角度做了下去。
王崎则是打🔳算顺着冯诺依曼的路子接着走下🙰🎀🎀去。
算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许🟙多。
当然，这🁵也是相对而言的。有资格参与希尔伯特计划的，🚨🕶🎋只有第一流的数学家。而王崎并没有背下这一篇论文，他🄳🁬只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中破碎了，无数👸🍪数字化为星辰大海，在他眼前闪烁，却又遥不可及。
思考是信息的流动，而这🃨🚕场👸🍪流动搅扰了魂魄。
王崎的魂魄当中也出现了一条星河，由数字与算符构成的🚨🕶🎋天河。
消去全称量词……引入全称量词……消🙄去存在量词……引入存在量词……
每一次推理都伴随这星河的一次涨落。
然后，一道法力的潮汐出现了。
王崎思💅🏚考、计算的时候，总会运转爻定算经。法力经过穴窍之中的阴阳爻，就会进行一次二值🆥👭🌅判断，完成二进制的运算。这道随着魂魄而出现的法力潮汐也顺着爻定算经的行功路线浩浩汤汤的前行。
每当这块潮汐冲开一个🐵穴窍，在里面盘旋一匝，就有一个新的阴阳爻产生。
然而，王崎的推演停滞了。
他感觉到了明显的瓶颈。🃨🚕有一个结论就🙄在他手边，可怎么就是说不出呢？
就在这时，纷乱🌘⛃🗲的灵力传来。王崎感到一阵厌烦他想要一剑斩灭这个让他厌烦的东西。☢🁇
一剑斩灭……一剑斩灭……一剑……一……
王崎想到了什么。
灵感，如同洪流般涌现。
希尔伯特本人希望用形式主义计划的证明论方法加以证明🚨🕶🎋，冯诺依曼也也顺着这个角度做了下去。
王崎则是打🔳算顺着冯诺依曼的路子接着走下🙰🎀🎀去。
算术系统整个的推演、整理是一个大坑，但是如果只对其下面某一个子系统作排除矛盾的证明，那便简单了许🟙多。
当然，这🁵也是相对而言的。有资格参与希尔伯特计划的，🚨🕶🎋只有第一流的数学家。而王崎并没有背下这一篇论文，他🄳🁬只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中破碎了，无数👸🍪数字化为星辰大海，在他眼前闪烁，却又遥不可及。
思考是信息的流动，而这🃨🚕场👸🍪流动搅扰了魂魄。
王崎的魂魄当中也出现了一条星河，由数字与算符构成的🚨🕶🎋天河。
消去全称量词……引入全称量词……消🙄去存在量词……引入存在量词……
每一次推理都伴随这星河的一次涨落。
然后，一道法力的潮汐出现了。
王崎思💅🏚考、计算的时候，总会运转爻定算经。法力经过穴窍之中的阴阳爻，就会进行一次二值🆥👭🌅判断，完成二进制的运算。这道随着魂魄而出现的法力潮汐也顺着爻定算经的行功路线浩浩汤汤的前行。
每当这块潮汐冲开一个🐵穴窍，在里面盘旋一匝，就有一个新的阴阳爻产生。
然而，王崎的推演停滞了。
他感觉到了明显的瓶颈。🃨🚕有一个结论就🙄在他手边，可怎么就是说不出呢？
就在这时，纷乱🌘⛃🗲的灵力传来。王崎感到一阵厌烦他想要一剑斩灭这个让他厌烦的东西。☢🁇
一剑斩灭……一剑斩灭……一剑……一……
王崎想到了什么。
灵感，如同洪流般涌现。