Ehh...
Gödel basically showed we can never know which "mathematics" is the "correct one".
"Proven true assuming my axioms are true" is closer to reality.
Ehh...
Gödel basically showed we can never know which "mathematics" is the "correct one".
"Proven true assuming my axioms are true" is closer to reality.