 Why “empiricism”? Not because it revives Mill’s idea that the truths of arithmetic are empirical generalizations, but because it ascribes to mathematics the same kind of hypothetico-deductive structure that the empirical sciences supposedly display, with axioms playing the part of theories and their mathematical consequences playing the part of observation-statements (or in Lakatos’s terminology, “potential falsifiers”).