mathematical inductionWiktionary 原文释义(英文)名词 Noun(mathematics) 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.