I find that philosophically, "all math is discovered" is a better way to think of mathematics. E.g - it's always been true, that given a set of axioms A, B, an

I find that philosophically, "all math is discovered" is a better way to think of mathematics. E.g - it's always been true, that given a set of axioms A, B, and C, the claim X is true. Humans discover these conclusions when they explore implications of taking different assumptions to be true.