mathematical induction in Polish
mathematical induction in Polish
indukcja matematyczna
(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 \ge 0, P(n) implies P(n + 1), then P(n) is true for any natural number n.