I have no doubt that if an international body […] were to take a vote and choose a set of “official rules of mathematics” […], they would pick ZFC (or something equivalent).
More than that, I daresay that they’d pick something much stronger than ZFC, probably ZFC with a large cardinal axiom. (And the main debate would be how large that cardinal should be.)
More than that, I daresay that they’d pick something much stronger than ZFC, probably ZFC with a large cardinal axiom. (And the main debate would be how large that cardinal should be.)