I think of pure math as choosing a set of axioms and then proving interesting theories with them.