+A **theorem** is a statement that has been proven true within a [logical system](/wiki/Logical_System). It represents a fundamental [truth](/wiki/Truth) established through rigorous [Proof](/wiki/Proof) from axioms and definitions.
+## See also
+- [Axiom](/wiki/Axiom)
+- [Proof](/wiki/Proof)
+- [Lemma](/wiki/Lemma)
... 1 more lines