Math isn't choosing which axioms to use, is finding the consequences of a given set.