How mathematics developed across civilizations and centuries, and what its objects and proofs really are.