An axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an explicit list of symbols, an explicit set of rules governing their cohabitation, an explicit list of axioms, and, above all, an explicit list of rules explicitly governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.

The motion of the mind is conveyed along a cloud of meaning.~ There is this paradox that we get to meaning only when we strip the meaning from symbols.

Arithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.

There are gaps in the fossil graveyard, places where there should be intermediate forms, but where there is nothing whatsoever instead. No paleontologist..denies that this is so. It is simply a fact, Darwin's theory and the fossil record are in conflict.

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

Ultimately, Leibniz argued, there are only two absolutely simple concepts, God and Nothingness. From these, all other concepts may be constructed, the world, and everything within it, arising from some primordial argument between the deity and nothing whatsoever. And then, by some inscrutable incandescent insight, Leibniz came to see that what is crucial in what he had written is the alternation between God and Nothingness. And for this, the numbers 0 and 1 suffice.

The calculus is the story this [the Western] world first told itself as it became the modern world.