[scoofy]

We can choose whichever axioms we want. There is still arguments over the axiom of choice, but nobody cares because it’s entirely helpful.