Every mathematical theory is based on a set of axioms and definitions. Every mathematical theorem is only proven inside the its axiom system.
All mathematics a sort of if - then language, only true inside the appropriate axiom system.
Ad there are different sets of axiom systems: geometry ( eucilian plane ) the first, set theory another, stochasic another and so on....