文章转自：
http://hicammie.blogspot.hk/2008/05/theorempropositionlemmacorollaryassumpt.html
谢谢Cammie Xiaotu的整理
名詞定義：
定理(Theorem)、命題(Proposition)、輔助定理(Lemma)、引申定理(Corollary)、假設(Assumption)
名詞解釋
Theorem：就是定理，比較重要的，簡寫是 Thm。
Lemma：小小的定理，通常是為了證明後面的定理，如果證明的篇幅很長時，可能會把證明拆成幾個部分來敘述，雖然篇幅可能變多，但脈絡卻很清楚。
Corollary：推論。由定理立即可推知的結果。
Property：性質，結果雖然值得一記，卻沒定理來的深刻。
Proposition：有人翻譯為「命題」， 有些作者喜歡用，大概也可以算是比較簡單的定理的一種稱呼。
Claim：證明時先敘述一個結果，再作證明。看的人比較輕鬆。
Note：通常只是一個註解。
Remark：涉及一些結論，比較起來 "Note" 比較像說明， "remark" 則常是非正式的定理。
至於「定義」可以想成是一個若且唯若的定理