An assertion that can be proved true using the rules of logic.

A theorem is proven from axioms, postulates, or other theorems already known to be true.