For the most part, it is true, ordinary men and women regard mathematics with energetic distaste, counting its concepts as rhapsodic as cauliflower. This is a mistake-there is no other word. Where else can the restless human mind find means to tie the infinite in a finite bow?

Aristotelian logic is massive and marmoreal, but every monument accumulates graffiti.

At some time in the history of the universe, there were no human minds, and at some time later, there were. Within the blink of a cosmic eye, a universe in which all was chaos and void came to include hunches, beliefs, sentiments, raw sensations, pains, emotions, wishes, ideas, images, inferences, the feel of rubber, Schadenfreude, and the taste of banana ice cream.

I do not know whether any of this is true. I am certain that the scientific community does not know that it is false.

Validity is the touchstone of inference, and truth of judgment: the fact that vichyssoise is cold ratifies the judgment that vichyssoise is, indeed, cold, and the judgment that vichyssoise is cold expresses the fact that vichyssoise is cold.

However good an argument in philosophy may happen to be, it is generally not good enough.

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.