完备性 61560名wánbèixìng (软件注音)

---

[completeness]
一个形式系统之适当性的概念，同时运用到证明论和模型论（参阅逻辑[logic]）。在证明论中，要表明一个形式系统的语句结构是完整的，唯一的条件是该系统中每个封闭的句子本身或它的否定，必须在系统中是可证明的。在模型论中，要表明一个形式系统的语义是完整的，唯一的条件是该系统中的每一种定理，必须在系统中是可证明的。