定理是什麼意思

定理的定義：是經過受邏輯限制的證明爲真的敘述。一般來說，在數學中，只有重要的陳述才叫定理。證明定理是數學的中心活動。相信爲真但未被證明的數學敘述爲猜想，當它經過證明後便是定理。它是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成爲猜想的過程，成爲定理。如上所述，定理需要某些邏輯框架，繼而形成一套公理（ 公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。在命題邏輯，所有已證明的敘述都稱爲定理。