Axioms are different from definitions in the sense that they "look" like Theorems. But an Axiom is assumed to be true, whereas a theorem needs to be proved. A statement can be an axiom in one context and a theorem in a different context. For example, associativity is one of the axioms for a group, but it is a theorem that the real numbers are associative.