公理是不需要证明的,由实践得出的结论.
定理是由公理得出来的,也可以说是公理的推论,是需要证明的.
推论的定义是,根据公理或定理而推导出来的真命题.
定义就是数学名词的概念,例如,直角的定义就是"90度的角"定理是真命题,但真命题不一定是定理、公理
真命题是逻辑上的概念,而定理是在研究中觉得比较重要和常用的结果,授予它定理得地位而已.而公里这是逻辑讨论的前提
三者的关系这样就清楚了