This meant deducing results by pure logic from as trim and tight a foundation as he could find. These foundations were “axioms,” like the familiar “equals added to equals make equals”—statements so weighty and worthy of belief that we don’t even know how to doubt them. Their evolution is curious, because we are such inveterate doubters.
