>What we call mathematics actually exists as a single point in a space of an infinite number of sets of axioms and inference rules. No, the word mathematics ac

>What we call mathematics actually exists as a single point in a space of an infinite number of sets of axioms and inference rules. No, the word mathematics actually describes this entire space. You can go a level below math down to logic. Logic are the rules that bind all these different mathematical fields together. In addition to axioms that are assumed to be true, Logic in itself is also assumed to be true and we use a singular set of logical rules for all of mathematics. >We like this particular set of axioms and rules because they can answer questions about physics, but they were stumbled upon almost by accident when we started using the concept of numbers and asking "What does it mean to prove something?". Much of abstract mathematics has no real world counterpart.