tümevarımlı kanıtlanım anlamı İng. inductive proof, proof by mathematical induction Osm. istikraî ispat Alm. induktiver Beweis Fr. démonstration par induction mathématique, démonstration par récurrence
Doğal sayılara ilişkin (…) gibi tümel bir önermenin, (…) önermelerinin kanıtlanmasına dayanan kanıtlanımı. || Tümevarımlı kanıtlanımın tümevarımın değil de tümdengelimin bir biçimi olduğunu belirtmek gerekir. Krş.. temel mantıklı sayı kuramı.