网站首页
词典首页
请输入您要查询的词语:
词语
完备性
释义
[completeness]
一个形式系统之适当性的概念,同时运用到证明论和模型论(参阅逻辑[logic])。在证明论中,要表明一个形式系统的语句结构是完整的,唯一的条件是该系统中每个封闭的句子本身或它的否定,必须在系统中是可证明的。在模型论中,要表明一个形式系统的语义是完整的,唯一的条件是该系统中的每一种定理,必须在系统中是可证明的。
随便看
鱼鲁帝虎
鱼鲂
鱼鲊
鱼鲏
鱼鲑
鱼鲔
鱼鲙
鱼鲜
鱼鲠
鱼鳃
鱼鳔
鱼鳔白
鱼鳖
鱼鳞
鱼鳞云
鱼鳞册
鱼鳞刀
鱼鳞图
鱼鳞图册
鱼鳞图籍
鱼鳞坑
鱼鳞天
鱼鳞杂沓
鱼鳞杂袭
鱼鳞杂遝
汉语词典收录了463404条汉语词条,基本涵盖了全部常用汉语词语的中英文释义及用法,是汉语学习的有利工具。
Copyright © 2000-2024 Sap9.com All Rights Reserved
更新时间:2026/8/21 3:17:20