Description

Axioms and self-evidence.  Euclid's fifth postulate.  Non-Euclidean geometry and the difference between infinite and unbounded space.  Anaximander and Parmenides, and the principle of sufficient reason.