“In 1904, Ernst Zermelo offered a proof that the axiom of choice implies the well-order principle, a result that was extremely controversial at the time.”