公理是不需要證明的,由實(shí)踐得出的結(jié)論.
定理是由公理得出來(lái)的,也可以說(shuō)是公理的推論,是需要證明的.
推論的定義是,根據(jù)公理或定理而推導(dǎo)出來(lái)的真命題.
定義就是數(shù)學(xué)名詞的概念,例如,直角的定義就是"90度的角"定理是真命題,但真命題不一定是定理、公理
真命題是邏輯上的概念,而定理是在研究中覺(jué)得比較重要和常用的結(jié)果,授予它定理得地位而已.而公里這是邏輯討論的前提
三者的關(guān)系這樣就清楚了