completeness theorem
基本解释
- [数学]完备性定理完全性定理
英汉例句
- This system is functionally complete, has7axioms, and its completeness theorem has been proved.
该系统有7 个公理，具有函数完备性和系统完备性。 - First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
首先，哥德尔的完全性定理和不完全性定理中的“完全性”是两回事。 - The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w…
给出了URS的语法及语义，证明了URS的合理性与完全性定理，并与其它不确定推理方法作了比较。
双语例句
词组短语
- myhill completeness theorem 曼希尔完备性定理
- G ödel completeness theorem 完全性定理
- Godel completeness theorem 翻译;哥德尔完全性定理
- generalized completeness theorem 广义完全性定理
短语
专业释义
- 完备性定理
- 完全性定理