运筹写作的数学定理、命题等相关术语和应用

前言：在运筹论文中，总会出现一些Proposition, Theorem, 等类似的模型相关术语，
理解这些术语的内涵有助于揣测作者写作的着重点，更有助于理解文章的内容。

术语、含义

术语	含义	用途
Definition	定义	定义一个词的含义
Theorem	定理	已经被证明的是正确的内容
Proposition	命题	不那么重要，但是又有点意思的正确的陈述
Lemma	引理	用于证明其他内容的正确陈述
Corollary	推论	从定理或命题中推导的正确陈述
Proof	证明	解释写的东西为什么是正确的
Conjecture	猜想	认为是正确的，但是没证出来的陈述
Axiom	公理	关于数学的基本假设
Note	注释	澄清没有解释清楚的事情
Remark	评述	强调\讨论\评论其他的概念或见解

个人理解

上述的术语在应用类型的运筹文章中，比较常见的有Definition、Theorem、Proposition、Lemma、Proof。
通常在模型或问题提出后，为了增加文章的理论深度，提出一些关于模型的有意思的、略带深度的性质，并提供证明Proof。
个人觉得Theorem是一个严肃的内容，其定义是“已经被证明的正确的内容“，但是在文章中证明出来了，
就算的上是”已经被证明“了。

Lemma、Proposition、Theorem的边界并不是清晰的，所以怎么用都行。
但是重要性的排序个人认为是：Theorem > Proposition > Lemma。

Remark一般在证明最后，强调一下和其他人的不同，或者强调有意义的事情。