Frege and Russell showed that arithmetic reduces to logic only through contested axioms like Hume's ...