Single Idea 13358

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

Full Idea

The principle of mathematical (or ordinary) induction says suppose the first number, 0, has a property; suppose that if any number has that property, then so does the next; then it follows that all numbers have the property.

Gist of Idea

Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all

Source

David Bostock (Intermediate Logic [1997], 2.8)

Book Reference

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


A Reaction

Ordinary induction is also known as 'weak' induction. Compare Idea 13359 for 'strong' or complete induction. The number sequence must have a first element, so this doesn't work for the integers.

Related Idea

Idea 13359 Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock]