一致性和完备性有何不同？

适用条件

• 一致性涉及矛盾的缺失。
• 完备性涉及范围内所有真实陈述的可证性。

理解与推导

1. 将一致性识别为防止矛盾（正确性）。
2. 将完备性识别为证明所有真理（覆盖面）。
3. 认识到两者对于一个强大的逻辑系统都是必不可少的。
4. 注意哥德尔的见解，即足够强大的系统不能同时完美一致和完美完备。

例子

一个比较表列出：一致性：防止矛盾，关注正确性；完备性：证明所有真理，关注覆盖面。

容易误解的地方

• 将一致性与完备性混淆；避免矛盾并不能保证所有真理都能被证明。
• 假设任何好的形式系统都可以同时拥有完美的一致性和完美的完备性；哥德尔表明这对于足够强大的系统是不可达到的。

观看对应讲解

继续追问

• 哥德尔对足够强大的系统展示了什么？
• 一致性和完备性在纯逻辑之外哪里很重要？