| 字词 | 完备性 |
| 类别 | 汉语字典、汉语词典 |
| 释义 | [completeness] 一个形式系统之适当性的概念，同时运用到证明论和模型论（参阅逻辑[logic]）。在证明论中，要表明一个形式系统的语句结构是完整的，唯一的条件是该系统中每个封闭的句子本身或它的否定，必须在系统中是可证明的。在模型论中，要表明一个形式系统的语义是完整的，唯一的条件是该系统中的每一种定理，必须在系统中是可证明的。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。