关于数学证明的几个概念辨析

Definition（定义）和Axiom（公理）比较好理解，在此不表。

Theorem（定理）

比较重要的结论，通过严格的数学推理证明得到。耳熟能详的有勾股定理、二项式定理、费马大定理等等。

Lemma（引理）

当一个定理的证明比较复杂，篇幅比较长时，就可能会把一些需要用到中间结果抽取出来，它就是引理，这样定理证明过程显得更加清晰。所以引理一般是相对次要的结论，是证明定理的中间结果，主要目的是用来辅助证明定理。

Corollary（推论）

一般是基于定理进一步推理得到的简短结果。

Proposition（命题）

看了网上很多答案，关于定理和命题的区别都非常主观，根本上我觉得他们只得都是经过数学证明得到的结论，区别在于一般而言命题的重要性不如定理突出。