idea
Trust: what a system can have instead of proof
A system that has run for a long time without a contradiction has good reason to expect it is consistent. Mathematicians trust arithmetic this way: nobody has found a contradiction in centuries, and a stronger system proves it consistent.
It is trust built from outside or from experience, never certainty from inside.