If math were discovered, which math did we discover: Euclidean or non-Euclidean geometry? Both are consistent, and we invented the rules that make each work. My opponent might say numbers exist out there, but counting is a tool we built for trades and taxes, not a hidden treasure. We choose axioms, definitions, and rules, then explore what follows. That's invention, not archaeology. It fits reality because good tools do, not because we unearthed some cosmic blueprint.