They work with a set of nine assumptions, or axioms, about how sets behave, known as ZFC — “Zermelo-Fraenkel set theory with the axiom of choice.” These nine rules can’t be proved. Mathematicians have ...