Single Idea 13359

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction]

Full Idea

The principle of complete induction says suppose that for every number, if all the numbers less than it have a property, then so does it; it then follows that every number has the property.

Gist of Idea

Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers

Source

David Bostock (Intermediate Logic [1997], 2.8)

Book Reference

Bostock,David: 'Intermediate Logic' [OUP 1997], p.48


A Reaction

Complete induction is also known as 'strong' induction. Compare Idea 13358 for 'weak' or mathematical induction. The number sequence need have no first element.

Related Idea

Idea 13358 Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock]