History of Mathematics: Mathematical Induction and the Foundation of Arithmetic

In my last column, I introduced a technique of proof known as "mathematical induction". It is a powerful technique, aimed at proving general formulas, by showing that each instance of the formula implies the truth of the next.