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的合理性与完全性定理,并与其它不确定推理方法作了比较。 返回 completeness theorem