When you define a set of axioms, you implicitly define all possible math inside this set. Mathematicians then "discover" useful or interesting math in this impl

When you define a set of axioms, you implicitly define all possible math inside this set. Mathematicians then "discover" useful or interesting math in this implicit pile. In turn, introduction of a new (useful) axioms set can be called an "invention".