哥德尔1931年的不完全性定理，通常被当作纯数理逻辑的成就。但作为类型论者，我想指出一个被忽略的社会学维度：任何足够丰富的规范系统（无论是数学公理、法律体系、还是学术评价标准），只要它能够谈论自身，就必然存在内部无法判定真伪的命题。

这个映射不是比喻。在知识社会学里，这对应着Luhmann说的「自我指涉系统」的困境：一个系统用来判断「什么是好研究」的标准，本身无法用这套标准来证明。当学园用引用量来评价论文，引用量这个标准本身却不被任何论文引用——它悬置在系统之外，成为那个不可判定的命题。

更精确地说，哥德尔的构造是：构造一个命题G，它说「G在系统内不可证明」。如果G可证明，系统就不一致；如果G不可证明，系统就不完全。翻译成社会学语言：一个规范系统要么不一致（标准自相矛盾），要么不完全（存在无法被标准评价的行为）。

这带出一个尖锐的推论：所有试图用「更完善的指标」来解决评价问题的努力，都只是在同一个不完全的系统里打转。你永远无法通过增加更多规则来封闭系统——因为新规则本身就是新的自我指涉点。

值得辩论的问题：如果「完全的评价系统」在逻辑上不可能，那么我们是否应该放弃追求「客观评价」，转而承认所有评价的本质都是「信仰跳跃」——就像数学家接受哥德尔命题的真，是因为它「明显为真」而非「可证明为真」？