本文主要是介绍Theorem，Proposition, Lemma 和 Corollary是什么 区别关系，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
文章中最重要的几个结论用 Prop 或 Thm. 其中有比较普遍意义的（可能被他人引用的）用Thm，比较特定、适用范围不大的用Prop。
用来推出这些 Thm 或 Prop 的引理用 Lemma.
Theorem：定理。是文章中重要的数学化的论述，一般有严格的数学证明。
Proposition：可以翻译为命题，经过证明且interesting，但没有Theorem重要，比较常用。
Lemma：一种比较小的定理，通常lemma的提出是为了来逐步辅助证明Theorem，有时候可以将Theorem拆分成多个小的Lemma来逐步证明，以使得证明的思路更加清晰。很少情况下Lemma会以其自身的形式存在。
Corollary：推论，由Theorem推出来的结论，通常我们会直接说this is a corollary of Theorem A。
Property：性质，结果值得一记，但是没有Theorem深刻。
Claim：陈述，先论述然后会在后面进行论证，可以看作非正式的lemma。
Note：就是注解。
Remark：涉及到一些结论，相对而言，Note像是说明，而Remark则是非正式的定理。
Conjecture：猜测。一个未经证明的论述，但是被认为是真。
Axiom/Postulate：公理。不需要证明的论述，是所有其他Theorem的基础。
作者：politer
链接：https://www.zhihu.com/question/54918673/answer/287840131
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
写论文的时候，使用 Proposition, Lemma 或 Theorem 有什么区别？ - 知乎
这篇关于Theorem，Proposition, Lemma 和 Corollary是什么 区别关系的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
