一、概念

Definition (定义) - a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true.

Axiom/Postulate (公理/假定) - a statement that is assumed to be true without proof.These are the basic building blocks from which all theorems are proved (Euclid's five postulates, Zermelo-Fraenkel axioms, Peano axioms).

Theorem (定理) - a mathematical statement that is proved using rigorous mathematical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results.

Lemma (引理) - a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own (Zorn's lemma, Urysohn's lemma, Burnside's lemma, Sperner's lemma).

Corollary (推论) - a result in which the (usually short) proof relies heavily on a given theorem (we often say that "this is a corollary of Theorem A").

Paradox (悖论)- a statement that can be shown, using a given set of axioms and definitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a flawed theory (Russell's paradox). The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules (Banach-Tarski paradox, Alabama paradox,Gabriel's horn).

Proposition (命题) - a proved and often interesting result, but generally less important than a theorem.

Conjecture (猜想) - a statement that is unproved, but is believed to be true (Collatz conjecture, Goldbach conjecture, twin prime conjecture).

Claim (断言) - an assertion that is then proved. It is often used like an informal lemma.

Identity ((恒)等式) - a mathematical expression giving the equality of two (often variable) quantities (trigonometric identities, Euler's identity)

定义 - 对数学术语的精准明确的描述。它通过描述全部属性，且只有绝对成立的属性,来阐释词语。

公理/假定 - 是被假定不证自明的陈述。这些是证明所有定理的基础(欧几里得的五个公设，泽梅洛-弗伦克尔公理，皮亚诺公理)

定理 - 用严格的数学推理证明的数学命题。在数学论文中，定理一词常被用来表示最重要的结果。

引理 - 是辅助证明定理的次级结论。它是证明定理的一块垫脚石。引理偶尔可以独自发挥作用。(佐恩引理、Urysohn引理、Burnside引理、Sperner引理)

推论 - 是依赖给定的定理引出的(通常简短的)结论(我们经常说“这是定理a的一个推论”)。

悖论 - 在一组定义与公理下同时可证实也可证伪的陈述。悖论经常被用来显示一个有缺陷的理论的不一致性(罗素悖论)。这个术语也用作描述给定规则集下导出的反直觉结果(巴纳赫-塔尔斯基悖论，阿拉巴马悖论，加布里埃尔的号角)。

命题 - 经过证明的通常较为有趣的结论，但一般没有定理重要。

猜想 - 一个未经证实但被认为是正确的命题(Collatz猜想、哥德巴赫猜想、孪生素数猜想)。

断言 - 经过证明的断言。它经常被用作非正式引理。

恒等式 - 两个(通常是可变的)量相等的数学表达式(三角恒等式，欧拉恒等式)

二、补充

首先，定义和公理是任何理论的基础，定义解决了概念的范畴，公理使得理论能够被人的理性所接受。

其次，定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸，我认为它们的区别主要在于，定理的理论高度比命题高些。

定理主要是描述各定义(范畴)间的逻辑关系，命题一般描述的是某种对应关系(非范畴性的)。而推论就是某一定理的附属品,是该定理的简单应用。

最后，引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。

三、属性

定义、公理不可证明，定理必定经过证明
推论是根据公理或定理而推导出来的真命题.

参考资料：

定义、公理、定理、推论、命题和引理的区别 - 百度文库 (baidu.com)https://wenku.baidu.com/view/4cd882af770bf78a64295454.html[离散数学]定理,引理,推论与诸如此类概念的异同 - AstatineAi - 博客园 (cnblogs.com)https://www.cnblogs.com/AstatineAi/p/difference-between-theorem-lemma-and-corollar.html

定义，公理，定理，推论，命题和引理的区别相关推荐

定义Definition、公理、定理、推论、命题和引理的区别
WHAT IS THE DIFFERENCE BETWEEN A THEOREM(定理), LEMMA(引理),AND A COROLLARY(推论)? PROF. DAVE RICHESON (1) ...
【Paper】论文中定义、定理、引理、证明分别的含义
论文中定义.定理.引理.证明分别的含义 1. 定义 Definition 2. 定理 Theorem 3. 证明 Proof 4. 引理 Lemma 5. 谈论/评论 Remark 6. 注解/说明 ...
Latex中定义、定理、引理、证明设置方法总结
Latex中定义.定理.引理.证明设置方法总结在LaTex中需要有关定理.公理.命题.引理.定义等时,常用如下命令 \newtheorem{定理环境名}{标题}[主计数器名] \newtheore ...
latex怎么打区间_Latex中定义、定理、引理、证明设置方法总结
Latex中定义.定理.引理.证明设置方法总结在LaTex中需要有关定理.公理.命题.引理.定义等时,常用如下命令 \newtheorem{定理环境名}{标题}[主计数器名] \newtheore ...
BZOJ 2138 stone（霍尔定理推论，线段树）【BZOJ 修复工程】
整理的算法模板合集: ACM模板点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划题目链接 https://hydro.ac/d/bzoj/p/2138 是 hydro 的 BZOJ ...
人工智能数学基础--概率与统计1：随机试验、样本空间、事件、概率公理定理以及条件概率和贝叶斯法则
随机试验我们都非常熟悉在科学研究和工程中试验的重要性.试验对我们是有用的,因为我们可以假定,在非常接近的确定条件下进行固定的试验,基本上会得到相同的结果.在这样的环境中,我们可以控制那些对试验结果有 ...
哈工大近世代数定义、定理、推论汇总
目录 1. 半群 1.1. 若干基本概念 1.2. 半群与幺半群的概念 1.3. 子半群.子幺半群.理想 1.4. 同构.同态 2. 群 2.1. 群的定义 2.3. 子群.生成子群 2.4 变换群. ...
公理定理定律的区别与联系
一.公理经过人类长期反复的实践检验是真实的,大家普遍公认的.不需要由其他判断加以证明.且也不能由其他判断证明的命题和原理.一些学科就是建立在这样一些公理的基础上. 以前学数学,欧里几何出现的时候前面 ...
AT2645 [ARC076D] Exhausted?（Hall定理推论/线段树+扫描线）
AT2645 [ARC076D] Exhausted? 对于一个二分图左边点连接的是右边点的一个前缀和一个后缀,求解最大匹配. 首先不能直接求解最大匹配,但是我们可以利用Hall定理的推论求解 ∣U∣ ...

定义，公理，定理，推论，命题和引理的区别

一、概念

二、补充

三、属性

定义，公理，定理，推论，命题和引理的区别相关推荐

最新文章

热门文章