← Back to context

Comment by BeetleB

3 hours ago

What is truth if we are free to pick our axioms?

The universe is either Euclidean or not. If it were, how can theorems on non-Euclidean geometry be true?

You pick your axioms and you see what must be true. With math and logic, we can reason about any possible universe even though we live in only one of them.