的笔还没有停下来。
因为他已经做好的准备、留下后手了。
王崎手上的戒指“数学”，肩膀上的肩甲“离散”依次亮起，然后，贾维斯将一篇新的法诀输入到王崎体内。
——“因为不完备，我们永远无法证明一个公理系统无矛盾”，这同样是对哥德尔不完备定理的误读。
哥德尔不完备定理否决的，是“在一个系统的内部来证明该系统的一致性”的可能性，这个证明过程说起来复杂。但是其核心思想是运用了所谓的“自指”。
——这个陈述陈述了自己。
——这个集合包含了自己。
这也是逻辑学当中许多悖论的来源。地球的“理发师悖论”、神州的“炼丹师悖论”，归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。
而这一条不完备定律，是可以绕过的。
不能在系统之内证明系统的完备性，但是可以从系统之外证明。
我们不能根据系统本身证明这个系统。但是可以通过另一个系统来证明它。
王崎在五六年前就做过相关的理论研究。
正是，布尔巴基学派的思想！
从外部证明！