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.