定義是就概念而言，比如學動能定理，其中的動能就是一個定義，所有的定理都是用抽象的定義表述。定理是經過人們用公理、規律證明出來的，具有總結性和應用性，避免了在同一問題上的重複工作。
定理和定律的區別定理一般都有一個設定——一大堆條件。然後它有結論——一個在條件下成立的數學敘述。通常寫作“若條件，則結論”。而當中的證明不視為定理的成分。例如“平行四邊形的對邊相等”就是平面幾何中的一個定理。在命題邏輯中，所有已證明的敘述都稱為定理。
定律是為實踐和事實所證明，反映事物在一定條件下發展變化的客觀規律的論斷。定律是一種理論模型，它用以描述特定情況、特定尺度下的現實世界，在其它尺度下可能會失效或者不準確。沒有任何一種理論可以描述宇宙當中的所有情況，也沒有任何一種理論可能完全正確。
定律是對客觀事實的一種表達形式，通過大量具體的客觀事實歸納而成的結論。
什麼是逆定理逆定理是將某一定理的條件和結論互換所得的定理就是原來定理的逆定理。(如果一個定理的逆命題能被證明為真命題，那麼它叫做原定理的逆定理。此時，這兩個定理叫互逆定理。)
