EGAVE

mathematical induction

About 0.12 uses per million words.

Meaning

  1. noun 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.

Similar words

induction base case if-thenism infinite descent transfinite induction solomonoff induction backward induction coinduction intuitionism natural deduction

Word family

mathematical inductions

Save “mathematical induction” to learn later