Every mathematical theory is based on a set of axioms and definitions. 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....