您要查找的是不是：
- 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. 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
- The complete equipment of the new hospital will take a year. 新医院的全部设备需要一年才能装备好。
- The leading role is played by a complete unknown. 演主角的是一个毫无名气的演员。
- He should complete at this moment. 此刻他应该已经完成了。
- She spoke about her fears with complete frankness. 她对自己的恐惧直言不讳。
- She was accosted by a complete stranger. 有一个她完全不认识的人过来和她搭讪。
- An algebraic proof of completeness theorem of first-order logic 一阶逻辑完备性定理的代数证明
- The new manager is a complete dud. 新经理完全是个废物。
- He stared at the words in complete puzzlement. 他注视着那些语句,茫然不解。
- She made a complete cock-up of the arrangements. 她把计划安排全弄糟了。
- We are in complete ignorance of your plans. 我们对你的计画一无所知。
- The doctor advised (me to take) a complete rest. 医生让(我)完全休息。
- A comprehensive digest or complete treatise. 总论，纲要详细的摘要或整个论文
- A complete analysis must build on the implicit function theorem. 完整的分析必须建立在隐函数定理的基础上。
- It left him at a complete loss (for words). 这使他完全茫然(而语塞)了。
- She rushed forward in complete contempt of danger. 她完全不顾危险往前冲去。
- 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-弦图的完备定理。
- I/My mind was in a complete haze. 我完全糊涂了。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- Complete your application in ink. 用钢笔填申请表。
