what I’ve concluded is that actually the mathematics we have today is really just a historical accident: the direct generalization of the arithmetic and geometry that happened to be used in ancient Babylon. So it’s just history that makes the particular axiom systems we’re using seem meaningful to us.