noun
Meaning 1
A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
Topics: mathematics, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided