An axiom is often a statement assumed to be true for the sake of expressing a logical sequence. ... These statements, which are derived from axioms, are called theorems. A theorem, by definition, is a statement proven based on axioms, other theorems, and some set of logical connectives.
Step-by-step explanation:
I think this is right, but don't quote me on this.
