>>13579733mathematics is a tool of abstraction used to analyze and make predictions. It's invented, and anything "discovered" about it is just the finding of unnoticed implications of axioms established for other reasons.
Set theory is complete trash, mathematics atm is struggling because people give too much weight to abstraction and not enough to the math's real world analogues... ex: 0, infinity, -, i
Whenever someone goes through the trouble of grounding a system of math in natural number inequalities we might make progress, until then, expect a whole lot of head scratching because some asshat thought nothing+nothing=something(set theory)
