[AstralStorm]

Axioms can be shown to be useful or not. This is why some mathematicians reason with or without axiom of choice. Likewise, systems of axioms can be shown to be consistent or not.