ترجمة "mathematical induction" إلى العربية

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 \ge 0, P(n) implies P(n + 1), then P(n) is true for any natural number n. [..]