定义、公理、定理、推论、命题和引理的区别

 首先、定义和公理是任何理论的基础，定义解决了概念的范畴，公理使得理论可以被人的理性所接受。html 其次、定理和命题就是在定义和公理的基础上经过理性的加工使得理论的再延伸，我认为它们的区别主要在于，定理的理论高度比命题高些，定理主要是描述各定义（范畴）间的逻辑关系，命题通常描述的是某种对应关系（非范畴性的）。而推论就是某必定理的附属品，是该定理的简单应用。spa 最后、引理就是在证实某必定理

>>阅读原文<<