首页
是否存在两个本身完全自洽,但相互矛盾的逻辑系统?
2024-12-04 阅读 10
是的,存在这样的情况。哥德尔不完备定理表明,任何足够强大的形式系统都会存在其内部无法证明的命题。因此,即使一个逻辑系统在自身内部是完全自洽的,也可能与另一个完全自洽的逻辑系统产生矛盾。这种情况被称为逻辑系统之间的不一致性。
更新于 2024年12月04日