命题, 定理,引理和推论的定义

以下内容摘自此处.
命题 (proposition): 命题是一个陈述语句. 这个陈述语句可以是正确的也可以是错误的. 比如"3比4大"和"7是一个素数"都是命题, 虽然前者是错误的而后者是正确的.

定理 (theorem): 定理就是一个被证明为正确的命题. 比如勾股定理, 即"直角三角形中直角边长的平方和等于斜边长的平方"就是一个定理.

引理 (lemma): 引理和定理类似, 也是一个被证明为正确的命题, 但是不同的是, 定理一般是我们在当前的文章里所要证明的结果, 而引理是为了完成这个定理的证明, 我们证明的一个和我们的证明目标不直接相关的命题.

推论 (corollary): 推论是一个可以从某个定理轻易推导出的结论. 比如我们有定理"凸多边形的内角之和等于$(n-2)\ast 180^o$", 那么我们就可以立刻得出推论"三角形的内角之和为$180^o$".