Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. These were once held to be self-evident, but progress in work on the foundations of mathematics, especially in set theory, has rendered that comforting notion obsolete.