Euclid's Elements has for thousands of years stood as the preeminent example of a self-contained rational system. From a small number of definitions, and only five postulates, Euclid constructs a sequence of proofs whose interconnectedness and remarkable conclusions raise deep questions about the nature of human reason and its relation to the world. Yet because the subject of this work is ostensibly mathematics, it is generally viewed as a technical...