第一百六十一章 呵斥，未来 (2 / 5)
        哥德尔不完备定理否决的，是“在一个系统的内部来证明该系统的一致性”的可能性，这个证明过程说起来复杂，但是其核心思想是运用了所谓的“自指”。

        这个陈述陈述了自己。

        这个集合包含了自己。

        这也是逻辑学当中许多悖论的来源。地球的“理发师悖论”、神州的“炼丹师悖论”，归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。

        而这一条不完备定律，是可以绕过的。

        不能在系统之内证明系统的完备性。但是可以从系统之外证明。

        我们不能根据系统本身证明这个系统，但是可以通过另一个系统来证明它。

        王崎在五六年前就做过相关的理论研究。

        正是，布尔巴基学派的思想

        从外部证明

        布尔巴基学派，本就是地球的数学界在被哥德尔不完备定理狠狠洗过之后，重新衍生出来的东西。若是按照神州的分类法，同样属于离宗一系。而按照布尔巴基学派理论推演出的修法，也正好能够支撑因为不完备律而崩散的法力系统。

        贾维斯给出的支援，正在重新导正王崎体内崩散的法力。

        与此同时，王崎的论文也接近了尾声。

        “结论由此，我可以证明。对于任意的算学系统，如果其中包含了算术系统的话。那么这个系统不可能同时满足完备性和一致性。对于任意的算术系统，如果其中包含了算术系统的话，那么我们不能在这个系统的内部来证明它的一致性”

        完备性和一致性不可得兼，这个系统要么自相矛盾，要么存在着既不能证明也不能证伪的命题

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》