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.