Frege and Russell formalized mathematical induction as a genuine logical inference within second-ord...