定理（英語：Theorem）是經過受邏輯限制的證明為真的陳述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一個定理陳述一個給定類的所有（全稱）元素一種不變的關系，這些元素可以是無窮多，它們在任何時刻都無區(qū)別地成立，而沒有一個例外。（例如：某些是，某些是，就不能算是定理）。