算🞩主领导的歌庭和算君领导的黎派，争锋的焦点就在于算理逻辑。这个领域是🔍⚺算理最基础的部分。而一个算家对这个领域的🄴认知，就决定了他对数学的整体把握。
辰风算学和王崎比只能说烂，🙐但是这一点他还是🚕📏知道的。
王崎笑道：“冯前🜈⛵🞱辈也是这么吩咐⛙🚳🗟的啊，照🞥🖎👣做没坏处。”
冯🞩落衣、希柏澈都仍未王崎在算🎢💰🕜理逻辑上非常有天分，在一阶逻辑的道路上接着走下去，迟早能够到达希柏澈理想的境界。
但是王崎却是知道的，这🂂条路不是⛙🚳🗟不能走，但下一步的结果去只会同希柏澈的预期背道而驰。
哥德尔不完备定理，🜜🃂🔻摧毁数学崇高之🝉美，将数学赶下神坛的可怕定理。
在地球的历史中，哥德尔不完备定理证明希尔伯特第二问是个无解的题目，使希尔伯特计划破产。若是在神州抛出来，怕是会彻底😈⛄🗻动摇歌庭派的威信吧。
不管自己怎么说，在别人眼里自己都被打上“歌庭派”的标签了☻🄩，所以做理论的时候还是考虑一下这方面比较好。
顺便，自己也😨得防备一下别人顺着自🝉己的思🞥🖎👣路将不完备定理搞出来。
虽然对于哥德尔这种绝世天才来说，完备定理到不完备定理只有一年的时间，但对于普通数学家来说，哥德尔一年走♼🍳🌋完的路🄴是绝对的天堑。
更别说哥德尔本人得🜜🃂🔻出完备🅷定理，都是靠了灵光一闪的顿悟🕯🍈。
黎派修士和哥德尔理念不完全一致，对数学的理解有差别🆭，因此思路、擅长的方法也不一样。他们在王崎论文的基础上顺着哥德尔思🞢🕸路推出不完备定理的可能性不大🔄♰，威胁比较大的现在看来只有算君一人。
真正要警惕的，还是“自己人”。
熟悉后续历史的王崎知道。希尔伯特计划去程成果的希望不在于完备性与可判定性，这两个是被明确否定了的。它唯一有希望的部分🞢🕸，在于在于算术系统的一致性。
哥德尔不完🗷备性定理第二条，对于任意的数学系统，如果其中包☻🄩含了算术系统的话，那么我们不能在这个系统内部证明它的🄴一致性。这就是希尔伯特第二问题答案的一部分。
使用不在算术系统之内的超限归纳法证明算🞥🖎👣术系统的一致性，就正好绕过了不完备性定理划🌳🃎🖨出的，跨不过的铁壁。
“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释，把论战的关键导向算术🃕系统的一致性。”
这是王崎目前的计划。
辰风皱眉：“你知不知道掺🅷和算君⛙🚳🗟和算主的论战意味着什么？不要以为你身在神京就不会沾到火星了。”
“我只会抛出几篇论文啊，一般不会直接回应🏹🟄对方诘难的。”王崎笑道。
只要能够🚖📖🚸把重点引导到算术系统的一致性就差不多了。
而且整理算术系统同样是个大工程，🝉自己没那没多时间去一一完成，这个只要是自己真实水平参与一部分就可以了。
辰风疑惑的看了王崎一眼，问道：“你好像对🏹🟄这场论战有很重的执念啊……💃错觉？”