His are the quiet steeps of dreamland, The waters of no-more-pain; His ram's bell rings 'neath an arch of stars, "Rest, rest, and rest again.
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.