定理是經過推理證實的什麼

根據定理的概念，經過推理證實得到的真命題叫定理。通過真命題（公理或其他已被證明的定理）出發，經過受邏輯限制的演繹推導，證明為正確的結論的命題或公式，例如“平行四邊形的對邊相等”就是平面幾何中的一個定理。

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

有許多數學定理都是條件句，此時定理的證明是從假設出發，推出結論。因為證明跟真實性往往被連繫起來，所以結論也常被視作是假設的必然結果。也就是説，假設成立的話，結論也成立，毋需加上額外條件。但要指出的是，條件句式在不同的形式系統下可以有着不同的詮釋，視乎如何對當中的推理規則和藴含符號作解讀。