您要查找的是不是：
- The compactness theorem first appeared as a lemma in Go"del's proof of the completeness theorem, and it took many years before logicians grasped its significance and began to apply it routinely. 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
- An algebraic proof of completeness theorem of first-order logic 一阶逻辑完备性定理的代数证明
- Soundness and Completeness Theorems on"Medium"Logic MF (MF) “中介”谓词逻辑演算MF的特征问题
- completeness theorem 完全性定理
- extended completeness theorem 广义完全性定理
- The lawyer checked the document for its completeness. 律师检查文件是否完整。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- Godel completeness theorem [计] 哥德尔完全性定理
- The completion problems of partial inverse M-matrix for 3-chordal graph are discussed by using graph theory and the completion theorems for 3-chordal graphs are presented in this paper. 摘要利用图论的相关知识，在1-弦图、2-弦图完备的基础上探讨了3-弦图的完备问题，给出3-弦图的完备定理。
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- Theorem g is called binomial theorem. 定理g称为二项式定理。
- This completes the proof of the convexity theorem. 这就完成了凸定理的证明。
- This calculation illustrates the theorem. 这个计算说明了这样一个定理。
- We call this principle a rule and not a theorem. 我们称这个法则为原理而不称为定理。
- When will my completeness be breached? 而我的完好在何时破裂?
- We have thus arrived at the very important theorem. 这样我们就得了一条很重要的法则。
- The completeness of the requirements. 要求的整体性。
- The theorem may be explained as follows. 这条原理可以这样来阐述。
- Included here for historical code set completeness. 将它罗列在这里只是为了保持历史代码集合的完整性。
- This method helps to obtain a remarkable theorem. 这一方法有助于得出一著名的定理。
