其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。
使用不在算术系统之内的超限归纳法证明算术系统的一致性，就正好绕过了不完备性定理划出的，跨不过的铁壁。
“所以下一步是从集合论当中搞出超限归纳法再代入对算术系统的解释，把论战的关键导向算术系统的一致性。”
这是王崎目前的计划。
辰风皱眉：“你知不知道掺和算君和算主的论战意味着什么？不要以为你身在神京就不会沾到火星了。”
“我只会抛出几篇论文啊，一般不会直接回应对方诘难的。”王崎笑道。
只要能够把重点引导到算术系统的一致性就差不多了。
而且整理算术系统同样是个大工程，自己没那没多时间去一一完成，这个只要是自己真实水平参与一部分就可以了。
辰风疑惑的看了王崎一眼，问道：“你好像对这场论战有很重的执念啊……错觉？”
王崎摇头：“这可不是错觉。”
我是真的很想掺和这一场论战。
前世读亨利·庞加莱的传记，王崎就有一种很奇妙的感觉。
这个人，生不逢时。
数学家大多喜欢在物理学领域插一脚以显示自己智商过剩，但是他的时代，正是经典物理发展到极致的时候，没有多少东西供他玩乐了，等爱因斯坦引发新一轮革命的时候，他又已经垂垂老矣；他与戴维希尔伯特正好处于两代，他渐渐老去的时代正是希尔伯特一步步升起的时代，等希尔伯特到了鼎盛时期，他已经因为衰老退出了数学的第一线。
亨利·庞加莱一生都没有真正燃烧过。
但是在这个世界，他要面对的却是一个绽放出全部光彩的绝世天才，算君庞家莱！
而与他同一阵营的，是算主希柏澈和苍生国手冯落衣！是同一等级的数学大家！
任何一个有水平的数学
