[scoofy]

They are, by definition. The reason why we choose them is exactly to map a deductive framework onto an inductive reality.

[LudwigNagasena]

That doesn’t seem to match the definition of “arbitrary”.

[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.