定義、公理、定理、推論、命題和引理的區別

 首先、定義和公理是任何理論的基礎，定義解決了概念的範疇，公理使得理論可以被人的理性所接受。html 其次、定理和命題就是在定義和公理的基礎上經過理性的加工使得理論的再延伸，我認爲它們的區別主要在於，定理的理論高度比命題高些，定理主要是描述各定義（範疇）間的邏輯關係，命題通常描述的是某種對應關係（非範疇性的）。而推論就是某必定理的附屬品，是該定理的簡單應用。spa 最後、引理就是在證實某必定理

>>阅读原文<<