Axioms and self-evidence. \xa0Euclid's fifth postulate. \xa0Non-Euclidean geometry and the difference between infinite and unbounded space. \xa0Anaximander and Parmenides, and the principle of sufficient reason.