This is really an important point for mathematical philosophy. It is a single enterprise going back to ancient Babylon, China, India, Greece, Egypt, and before. The elementary meta-theory needs to be syntonic to mathematical activity and knowledge predating (or otherwise practiced without) formalism, structuralism, categoricity, platonism, etc.