1984f, "The justification of mathematical induction," "PSA 2": 469-475.