theorems

Theorems are propositions that have been proven true through logical reasoning from accepted premises.

The term belongs primarily to mathematics and formal logic, where a theorem follows necessarily from axioms and previously established results: the Pythagorean theorem, Gödel's incompleteness theorems.

Outside technical contexts, theorem sometimes appears loosely for any principle or rule that seems demonstrably true.