>>12860376Every choice of axioms creates a different mathematical domain of discourse containing objects and theorems.
Humans create mental and or linguistic/technological models and theories for doing math, through the use of which the contents of these different domains is discovered.
The use of created models and theories has also enabled discoveries of the mathematical properties of our universe and discovering which domain of discourse those properties belongs to.