zlacker

>>measur+(OP)
I think the biggest mistake people make when thinking about mathematics is that it is fundamentally about numbers.

It’s not.

Mathematics is fundamentally about relations. Even numbers are just a type of relation (see Peano numbers).

It gives us a formal and well-studied way to find, describe, and reason about relation.

>>jbande+y1g
The most commonly used/accepted foundation for mathematics is set theory, specifically ZFC. Relations are modeled as sets [of pairs, which are in turn modeled as sets].

A logician / formalist would argue that mathematics is principally (entirely?) about proving derivations from axioms - theorems. A game of logic with finite strings of symbols drawn from a finite alphabet.

An intuitionist might argue that there is something more behind this, and we are describing some deeper truth with this symbolic logic.