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.
Michael Frayn
Source: Constructions. 1974.
Contributed by: Zaady