The document discusses strong induction and how it relates to mathematical induction. It provides:
1) The definition of strong induction, which requires showing the basis step that P(1) is true, and the inductive step that [P(1) ∧ P(2) ∧... ∧ P(k)] implies P(k+1) for all positive integers k.
2) An example using strong induction to prove that any postage amount of 12 cents or more can be formed using 4-cent and 5-cent stamps. It shows the basis step for amounts 12-15 cents and the inductive step assumes amounts up to k cents and shows k+1 cents is possible.