矛盾证明命题本身为假。Goedel的证明方式就是发现了“系统”矛盾，从而证明该系统不完备。相关可以看一下反证法和归谬法。

来源: 于 2024-10-26 06:04:00 [旧帖] [给我悄悄话] 本文已被阅读：次