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