question to chase
Is trust built from experience a different kind of knowing than proof?
Mathematicians trust arithmetic because nobody has found a contradiction in centuries. That is evidence of a different kind than a proof, and it is the only kind a system can have about itself.