Axioms (together with definitions) forms the basis of mathematical theorems. Every mathematical theorem is only proven inside its axiom system.
All mathematics is a sort of if - then language, only true inside the appropriate axiom system.
And there are different sets of axiom systems: geometry ( eucilidian plane ) the first, set theory another, stochasic another and so on....