定義定理公理的區(qū)別

　　定義定理公理的區(qū)別如下：
　　首先、定義公理是任何理論的基礎(chǔ)，定義解決了概念的范疇，公理使得理論能夠被人的理性所接受。
　　其次、定理命題就是在定義和公理的基礎(chǔ)上通過理性的加工使得理論的再延伸，它們的區(qū)別主要在于，定理的理論高度比命題高些，定理主要是描述各定義（范疇）間的邏輯關(guān)系，命題一般描述的是某種對(duì)應(yīng)關(guān)系（非范疇性的）。而推論就是某一定理的附屬品，是該定理的簡(jiǎn)單應(yīng)用。
　　最后、引理就是在證明某一定理時(shí)所必須用到的其它定理。而在一般情況下，就像前面所提到的定理的證明是依賴于定義和公理的。

公理是盡人皆知的，不需證明、墨守成規(guī)的，如：過兩點(diǎn)可確定一條直線。 定義是就概念而言，比如你學(xué)動(dòng)能定理，其中的動(dòng)能就是一個(gè)定義，所有的定理都是用抽象的定義表述。 定理是經(jīng)過人們用公理、規(guī)律證明出來的，具有總結(jié)性和應(yīng)用性，避免了在同一問題上的重復(fù)工作。 另外，定律是人們?cè)趯?shí)踐中總結(jié)出的規(guī)律，未經(jīng)證明，但具有普遍性，它區(qū)別于定理，但某些定律現(xiàn)在也可以證明得出。

公里不需要證明，定理根據(jù)公理證明出來，定義是對(duì)一個(gè)事物的概括