定理是已被證明為真的陳述。它並非假設或推測所得，而是透過邏輯演繹，從公理、定義和先前已證明的結果中得出的。證明過程使定理具有可靠性。

著名的定理包括勾股定理、微積分基本定理、費馬大定理。有些定理很簡單，有些則需要數百頁的篇幅才能證明。四色定理是第一個借助電腦輔助證明的重要定理。

定理是數學的主要成果。它們有名稱、編號和引用。一個定理可以包含推論、引理和推廣。證明定理的過程是數學研究的核心。

• 邏輯證明該陳述為真
• 由公理和先前的結果得出
• 例如：畢達哥拉斯定理、費馬大定理
• 證據是確立真理的依據。