The arithmetic of algebraic varieties is a testament to the power of abstract thought.