您要查找的是不是:
- 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. 数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
- A mosquito netting completely surrounds our bed. 一顶蚊帐把我们的床完全围住了。
- She was completely knocked over by the bad news. 这个坏消息把她全然惊呆了。
- When I left the hospital I was completely cured. 出院时,我已经完全痊愈了。
- The students appear to be completely out of hand. 学生们似乎已完全无法控制了。
- The punch in the stomach completely winded me. 我肚子上挨了一拳一时完全喘不过气来。
- You were completely blotto last night. 昨晚你烂醉如泥。
- An algebraic proof of completeness theorem of first-order logic 一阶逻辑完备性定理的代数证明
- The superpowers are unlikely to disarm completely. 超级大国不太可能彻底裁军。
- The deal was completely above board. 这笔交易是完全光明正大的。
- His action was not completely disinterested. 他的行为并不完全公正。
- I'm completely buggered after that game of tennis. 这场网球可把我累垮了。
- One of the exam questions baffled me completely. 有一道试题把我完全难住了。
- The house has been completely rewired. 这所房子已全部换上了新电线。
- He completely disregarded my point of view. 他完全不理会我的观点。
- Vandals completely wrecked the train. 恣意破坏公物的人把那列车完全毁了。
- Her illness has made her completely immobile. 她病得完全失去了活动能力。
- My holiday plans are completely up the spout. 我的假期计画全吹了。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- What you just said is completely off the track. 你刚才讲的话彻底离题了。