mathematical induction

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

1. {{lb|en|mathematics}} A method of proof which, in terms of a [[predicate]] ''P'', could be stated as: if <math>P(0)</math> is true and if for any [[natural number]] <math>n \ge 0</math>, <math>P(n)</math> implies <math>P(n + 1)</math>, then <math>P(n)</math> is true for any natural number ''n''.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.