[unlearner]

"No. People have choice, not faith, in which axiom systems to use"

As I am pointing out elsewhere, and at the risk of being redundant:

We base real-world decisions on the reliability of a loose correspondence between mathematical theories and the real world. That is a "leap of faith". So is the idea that evolutionary theory represents the actual history of life on earth. And I contend that lacking any clear logical proof back to foundational axioms, the theory of the origins of species is itself axiomatic and thus must be accepted on the basis of faith if one is to believe that the theory roughly corresponds to actual events.

[Doctor Stochastic]

We base real-world decisions on the reliability of a loose correspondence between mathematical theories and the real world. That is a "leap of faith".

No. The mathematical theories are judged on their usefulness; faith generally is not; unless you are claiming that faith should be judged by its utility.