定理和公理的區別

　　定理和公理的區別：公理是不能被證明但確實是正確的結論，是客觀規律。定理是在一定條件下，由公理推導證明出來的正確的結論。

　　在數學裡，定理是指在既有命題的基礎上證明出來的命題，這些既有命題可以是別的定理，或者廣為接受的陳述，比如公理。數學定理的證明即是在形式系統下就該定理命題而作的一個推論過程。定理的證明通常被詮釋為對其真實性的驗證。由此可見，定理的概念基本上是演繹的，有別於其他需要用實驗證據來支援的科學理論。

　　公理是指依據人類理性的不證自明的基本事實，經過人類長期反覆實踐的考驗，不需要再加證明的基本命題。在數學中，公理都是用來推導其他命題的起點。公理和定理不同，一個公理(除非有冗餘的)不能被其他公理推匯出來，否則它就不是起點本身，而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。

　　定義：在數學中，作為一般的思維形式的判斷與推理，以定理、法則、公式的方式表現出來，而數學概念則是構成它們的基礎。正確理解並靈活運用數學概念，是掌握數學基礎知識和運算技能、發展邏輯論證和空間想象能力的前提。

　　定理：是經過受邏輯限制的證明為真的陳述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。

　　公理：是依據人類理性和願望發展起來而共同遵從的道理。也指經過人類長期反覆實踐的考驗，不需要再加證明的命題。

　　1、定理是由公理得出來的，可以說是公理的推論，是需要證明的。

　　2、定義是數學名詞的概念，例如，直角的定義就是90度的角，定理是真命題，但真命題不一定是定理、公理。

　　3、公理是不需要證明的，由實踐得出的結論。

　　4、命題有真假之分，真命題是邏輯上的概念。而定理是在研究中覺得比較重要和常用的結果，授予它定理得地位而已，公理是邏輯討論的前提。