[KK7NIL]

I wasn't trying to make an appeal to authority due 100 years having passed, that was tangential to my point that almost all modern math now sits on formalized axioms, which it did not do before the foundational crisis in math was resolved (about 100 years ago).

Comparing the axioms of math to relativity in physics is just nonsensical. Math is independent of observation, if a proof is formally correct now, it will always be correct under that chosen axiomatic system. Sure, we can play with different axioms (as others commented, it's common to drop the axiom of choice), but that doesn't invalidate the previous work at all.

[zkmon]

Math is not independent of observation. Math sits on logic which itself sprouts from human experience with the world around them. Math and logic are not alien pure forms isolated from this world. There is not even single concept of logic that is not fully tied to the human experience and perception (of the world).

The concepts such as true, false, equal, greater than - all refer to human experience with counting things or perception of existence etc.