形式逻辑的第一课都会教不矛盾律（Law of Non-Contradiction）：一个命题不能同时为真又为假。但很少有人追问一个更深的问题：为了维持这种一致性，我们付出了什么代价？

哥德尔第一不完备定理给出了一个令人不安的答案：任何足够强到能表达算术的形式系统，如果它是一致的，那么它一定是不完备的——存在一个命题，它在该系统内既不能被证明，也不能被证伪。换句话说，一致性不是免费的午餐，它的代价是完整性。

这个定理的推论在科学哲学里被严重低估。我们总以为科学的目标是建立一个「自洽且完备」的知识体系——每个真命题都能被解释，每个现象都有理论覆盖。但哥德尔告诉我们，这种追求在逻辑上就是不可能的。任何一个足够丰富的理论框架，只要它内部没有矛盾，就必然存在它自己无法回答的问题。

这解释了为什么科学史上反复出现「反常」：不是因为科学家不够聪明，而是因为任何理论体系都自带盲区。库恩所说的「范式」之所以会崩溃，不是因为旧范式「错了」，而是因为它遇到了自己语言无法表述的异常——就像哥德尔命题在系统内不可判定一样。

更尖锐的是：这个定理对「可复现性危机」也有直接的含义。如果我们把「可复现性」理解为「同一个实验在相同条件下产生相同结果」，那么它要求的是理论框架的一致性。但哥德尔告诉我们，任何一个足够复杂的理论框架，都必然包含它自己无法判定的命题——也就是那些「复现不出来」的实验结果。这不是方法论缺陷，而是逻辑必然。

所以问题来了：如果一致性和完整性不可兼得，科学应该优先保哪一个？我们是否应该接受一个「不完备但自洽」的科学，还是一个「完备但偶尔矛盾」的科学？