What is the translation of " THEOREM " in Chinese?

• 定理
• theorem
• 理论
• 一个定理

Examples of using Theorem in English and their translations into Chinese

From this theorem he….
在这个理论里，他.

Gödel's incompleteness theorem.
哥德尔不完全性理论.

What is this theorem telling us?
这一理论提示我们?

What is the Four Color Theorem?
什么是四季色彩理论？?

Then this theorem is useless.
那么这样的理论毫无用处。

Detailed proof see Theorem 3.
无限试驾3从理论上看.

C Theorem: The sequence is cubefree.
C猜想：序列是无限的。

Extreme value theorem(EVT).
极值理论（EVT）.

The theorem itself can be stated simply.
理论本身也可以讲得很生动。

The Schwarz- Pick theorem.
为施瓦茨-皮克定理theorem.

The proof of this theorem is left to the reader.
此推论的证明留给读者。

This is his incompleteness theorem.
他的理论是不完整的。

There is a theorem T{\displaystyle T}.
一个定理T{\displaystyleT}.

That means nobody can use this theorem.
这意味着，没有人能成为这一理论的反例。

Today we discussed Rolle's theorem and its application.
我们这次会讨论它的理论及其应用。

Here, we generalize and extend this theorem.
因此，我们开始简化，并扩展此理论。

Before stating this theorem we need some preparation.
在揭开这个秘密之前，我们有必要做一些理论上的准备工作。

This is known as the Purchasing Power Parity theorem.
这个理论被称为购买力平价理论。

Gödel's incompleteness theorem in 20 minutes.
哥德尔就是不完整的理论20分钟.

The theorem is that there is no such thing as a national economy.
这个定理是，没有国民经济这样的东西。

From condition 2 of the Theorem 1 we have:.
理论2基于理论1，我们可以得到：.

To explain this theorem, we will use a very simple example.
为了解释这个定理，我们将举一个非常简单的例子。

I don't need you to prove anyone's theorem for me.
我不需要任何人的任何理论来对我指手画脚。

The theorem is named after Calyampudi Radhakrishna Rao and David Blackwell.
这个理论是以CalyampudiRadhakrishnaRao和DavidBlackwell两人的名字命名.

The proof is similar to that in Theorem 1, we omit it here.
证明与定理1类似，这里就不作赘述.

The transcendence of e and π are direct corollaries of this theorem.
E和π的超越性是这个定理的直接推论。

French:“Can you make this theorem translate into French?”.
法国人：“你的这个定理能够翻译成法语吗？”.

EL: So where did you first encounter this theorem?
CIOI：你最初是怎样产生对这个理论的最初想法的呢？?

Their general formulation depends on splitting the theorem into two parts.
它们的一般表述取决于将定理分成两部分。

We will illustrate this with NLTK's interface to the theorem prover Prover9.
我们将用NLTK中的定理证明接口Prover9来演示这个。