English | 中文版
[TOC]
-
Definition（定义）
对某个数学概念\术语（符号、表达）的解释。
-
Axiom（公理）
没有经过证明，但被当作不证自明的一个命题。其真实性被视为是理所当然的，且被当做演绎及推论其他（理论相关）事实的起点。
-
Theorem（定理）
是经过受逻辑限制的证明为真的陈述。
-
Proposition（命题）
是一个陈述句所表达的判断，具有真值，即不是真的就是假的。
-
Lemma（引理）
是数学中为了取得某个更好的结论而作为步骤被证明的命题, 其意义并不在于自身被证明, 而在于为达成最终目的作出贡献。
-
Corollary（推论）
能够“简单明了地”从前述命题推出的论断，推论往往在定理后出现。
-
Conjecture（猜想）
被认为是正确的陈述。
-
Claim（断言） 断言，然后证明。它常被用作非正式的引理。
-
Postulate（假定）
某数学研究情境下最为基本的假设（一定是正确的，和 Postulate 相当）。
-
Proof（证明）
对命题的解释。
-
Identity（恒等式）
-
Paradox（悖论）
-
Hypothesis（假说）
-
Notation（记法）
-
...
| 符号 | 说明 | 符号 | 说明 |
|---|---|---|---|
| 等于 | 约等于 |
[1] [德]布龙施泰因，[德]谢缅佳耶夫，[德]穆西奥尔，[德]米利希.数学手册.10ED