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.