An assertion that can be proved true using the rules of logic. A theorem is proven from Axiomspostulates, or other theorems already known to be true.