网站首页  英语词典  汉语词典

请输入您要查询的字词:

 

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

 

新教育网汉语字词典收录8300条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。

 

Copyright © 2021-2025 cnxjy.com All Rights Reserved
更新时间:2026/7/4 17:06:52