我们永远无法证明，一个超过一阶的、复杂的集合论规则是自洽的。
任何相容的形式体系，都无法证实自身的相容性。
这就是哥德尔的两条不完备定律。
人类的逻辑，实际上是不自洽的。
我们或许永远也不能抵达“那里”。
王崎知道，这一篇论文的出现，会造成整个万法门的动摇。无数修士将会恐惧这个理论，甚至惧怕它的提出者。
然后，曾经照拂过王崎一系的歌庭派，声望也必然会一落千丈。
这是必然的。
至于会有多少人因为道心动摇而走火入魔？
想必不会太少吧？
但是，王崎必须写。
与歌庭派分道扬镳对他来说是早已注定的事情了。而且，无论是情感上还是理智上，他也着实不希望算主带着一大群巅顶逍遥，往一个绝对不能说是正确的方向上死扑。
对于他来说，这么做，大约还可以算作是解放那些强大修士的劳动力，让他们可以将心思转向一些更加正确、更加有利于神州整体的方向吧？
而且，现在的王崎，也确实需要声名。
数据化修法具有开创时代的潜力。而王崎需要声名，更好的去推广它，去开创时代。他要做新时代的领军人物。对于这个计划来说，声名是必须的。
另外，歌庭派的赫赫威名，实际上也对王崎的计划，还有对神州的算学发展造成了阻碍。
王崎早在六七年前，就公布了布尔巴基学派的思路。现在这么久远的时间过去了，他在扶桑发表的演讲，应该已经接着歌庭
第一百六十章 决裂?不完备的陈述!(4/6)