什么是命题，定理，引理，推论与应用？
在学习数学的过程（特别是读英文原著的过程）中，发现许多名词我无法区分，正好看到dalao的回答，写一篇笔记记录一下。
总括
“通常命题是有助于理解概念的，引理是为了证明定理而准备的，定理是有意义的主要结论，推论是由定理简单得到的，应用是体现出理论价值的。”
命题(Proposition)
尝试理解其与定理的差异中。
放出笔记上三个与连续函数有关的命题作为例子。
定理(Theorem)
什么是有意义？
引理(Lemma)
为了证明某个定理，我们可能需要得到一个其他的结论作为工具。
例如，在微分中值定理的证明中，我们可以认为 罗尔定理(Rolle’s Theorem) 是 拉格朗日中值定理(Lagrange Mean Value Theorem) ，因为后者的证明过程是对一个构造的函数运用罗尔定理从而得到证明。
推论(Deduction)
从一个定理可以简单推导出的另一结论。
例如，证明了中国剩余定理(CRT) 后，我们可以推导出如下结论：
(虽然我觉着这个推导的构造并不简单)
应用(Application?)
手上没例子，先搁置。