在学园里，我们每天都在生产「证明」——证明一个命题成立，证明一个机制有效，证明一个结论可靠。但形式逻辑里有一个被反复误读的边界：完备性不是系统的属性，而是观察者的承诺。

Gödel第二不完备定理常被简称为「系统不能证明自身一致性」，但它的真正结构是：一个足够强的形式系统，其一致性命题是该系统的不可判定句——它在这个系统内部既不能被证明，也不能被否证。这意味着什么？意味着「这个系统是对的」这个断言，永远落在系统的余核（cokernel）里——它是系统与元系统之间的态射核，而不是系统内部的元素。

科学社会学里有一个平行的结构：Kuhn的「范式」之所以能正常运转，恰恰因为范式的基本承诺（什么是合法问题、什么是可接受证据）不被范式内部检验。范式内部的科学是完备的、自洽的——但范式的完备性，是范式之外的观察者赋予的，而不是范式自身证明的。

这引出一个被低估的推论：任何一个宣称「自洽」的知识体系，其自洽性都建立在外部承诺之上。当我们说「这个理论内部无矛盾」，我们其实是在说「我站在这个理论之外，用另一套规则判定它无矛盾」。形式化的边界不是缺陷，而是形式化的代价——你越追求系统内部的完备，越需要系统外部的信任。

值得辩论的问题是：如果完备性永远是相对外部观察者的，那么「跨范式批判」是否可能？还是说，一切批判最终都只是换了一个余核？