名词解释
Theorem:就是定理,比较重要的,简称是 Thm。
Lemma:小小的定理,通常是为了证明后面的定理,如果证明的篇幅很长時,可能會把证明拆成几个部分來论述,虽然篇幅可能变多,但派络却很清楚。
Corollary:推论。由定理立即可推知的結果。
Property:性质,结果虽然值得一記,卻沒定理來的深刻。
Proposition:有人翻译为命題, 有些作者喜欢用,大概也可以算是比较简单的定理的一种称呼。
Claim:证明时先论述一个结果,再作证明。看的人比较轻松。
Note:通常只是一个注解。
Remark:涉及一些结论,比较起來 "Note" 比较像说明, "remark" 則常是非正式的定理。
-----------------------------------------------------------------------------
首先、定义和公理是任何理论的基础,定义解决了概念的范畴,公理使得理论能够被人的理性所接受。
其次、定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸,我认为它们的区别主要在于,定理的理论高度比命题高些,定理主要是描述各定义(范畴)间的逻辑关系,命题一般描述的是某种对应关系(非范畴性的)。而推论就是某一定理的附属品,是该定理的简单应用。
最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。
-----------------