Theorem

定义 Definition

theorem（定理）：指在某个公理体系或已被接受的前提下，通过严格的逻辑推导证明为真的命题。日常语境中也可泛指“已被证明的原理/结论”。

发音 Pronunciation (IPA)

/ˈθiːərəm/

例句 Examples

Theorem: The angles in a triangle add up to 180 degrees.
定理：三角形的内角和等于180度。

Theorem: Using the theorem, we can prove that this algorithm always finds the shortest path under these conditions.
利用该定理，我们可以证明在这些条件下，这个算法总能找到最短路径。

词源 Etymology

来自希腊语 theōrēma，意为“被观察到的东西、经过思考得到的结论”，后进入拉丁语与中古法语，最终形成英语 theorem，强调“经由推理与证明确立”的知识。

相关词 Related Words

• Axiom
• Lemma
• Proof
• Corollary
• Proposition
• Conjecture
• Theorematic
• Logic

文学作品与著名文本 Literary Works

• 欧几里得《几何原本》（Elements）：大量以定理形式陈述并证明的经典几何结论。
• 伯特兰·罗素、A.N.怀特海《数学原理》（Principia Mathematica）：以形式化证明推导定理著称。
• 艾萨克·牛顿《自然哲学的数学原理》（Philosophiæ Naturalis Principia Mathematica）：包含以命题/定理方式表达的数学化物理结论。