Comment by lioeters

> Mathematical proofs aren't revealing truths about the universe.

That's exactly what they do, apply logic formally and systematically to discover truths.

Sure, there may be a universe where 2 + 2 = 5, but then that universe would have its own mathematics that can prove that to be true. And there will be a way to bridge that alien math to our own, again by logic and proofs, until we have a larger sense of truths not only in our universe but all possible universes. Proofs are part of the constant process of revealing deeper truths to the best of our understanding.