Mathematical induction proves a universal generalization ∀n φ(n) as a single logical act, not merely...