What makes the real number system different from all the smaller number systems it contains? Richard Dedekind found a simple answer: a geometric axiom that Euclid missed.