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ı.
Inductive proof, proof by mathematical induction.
Démonstration par induction mathématique, démonstration par récurrence