For hundreds of pages the closely-reasoned arguments unroll, axioms and theorems interlock. And what remains with us in the end? A general sense that the world can be expressed in closely-reasoned arguments, in interlocking axioms and theorems.
Constructions: Making Sense of Things (ed. 2009)