The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.

利用中介逻辑的完备性，本文证明了紧致性定理，即一理论有模型当且仅当其任一有穷子集有模型。

youdao

Combining the B-T theory and the scalar quantity diffraction theory, a diffraction theory method for the analysis of the hot-image formation is developed.

把B - T理论和标量衍射理论相结合，建立起热像效应的衍射理论分析方法。

youdao

Human DNA has only 4 basic building blocks (commonly written as g, a, t, and c), so this is not a far-fetched theory.

人类DNA只有4种基本组成部分(通常写作g、A、t和c)，因此这不是一种牵强附会的理论。

youdao

Like in any other invention, nobody knows what will work and abstract theory doesn't guide you completely.

正如其他的创新一样,没有人知道哪些是可行的,有时候理论完全无法指导实践

耶鲁公开课 - 金融市场课程节选

Z That was Lit Z, and it did indeed imply every other form of theory, and it was extremely rigorous and interesting, but it wasn't a survey.

这就是文学，那门课极其严格，也非常有趣，但它不是概论。

耶鲁公开课 - 文学理论导论课程节选

Now the Lady responds to what we can think of as his aristocratic debauchery with an economic theory of her own, and we haven't looked at that yet.

这位女士以我们可以想到的方式做出回应,由于对她提出的图利的理论和他本身的贵族气息的放荡，这一点我们还没有读到。

耶鲁公开课 - 弥尔顿课程节选

So the prohibition won't in theory prevent hedge funds and other investors short-selling French and Italian banks, for example, through offshore exchanges.

BBC: Can a ban on speculation strengthen Europe's banks?

This wasn't abstract theory to him.

FORBES: Fact and Commnent

"It didn't say any part of our theory wasn't legally viable, " said Lazar Raynal, lead attorney for Liesel Pritzker.

FORBES: Liesel Pritzker Suit Gets Go-Ahead