A Quote by David Berlinski on axiom, mathematics, theorem, and confidence
An axiomatic system establishes a reverberating relationship between what a mathematician assumes (the axioms) and what he or she can derive (the theorems). In the best of circumstances, the relationship is clear enough so that the mathematician can submit his or her reasoning to an informal checklist, passing from step to step with the easy confidence the steps are small enough so that he cannot be embarrassed nor she tripped up.
Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 49..50
Contributed by: Chris