定理和公理的區別

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

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

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