细研究这个往日并不被重视的领域， 当然，在场的人并不知道，这个数化的证明还有超过其本身的意义。 它同时也是递归论的源泉。 而递归论，正是现代逻辑学的最重要分支之一。 到了这个地步，王崎的证明也进入了尾声。 王崎最后一次挥动双手。算符排列成了不完备定理的证明。 “这就是全部的过程。” 全场寂静无声。 算学在这一刻走向了死亡。 “一致性与完备性不可兼得，算学无矛盾而不完备……”收看直播的许多万法门弟子，几乎哭了出来。 王崎讲完不完备定理的证
如需阅读完整内容，请在手机端进行阅读。
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。