matematiksel tümevarım  nedir?

(Alm. mathematische Induktion, f; Fr. induction mathématique, f; raisonnement par récurrence, m; İng. mathematical induction) 

mat. Doğal sayılar hakkındaki bir önermenin doğruluğunu, “1. önerme n =1 için doğru ise; 2. Herhangi bir n için doğru olduğunda n+1 için de doğru olduğu gösterilebilirse, bütün n ler için doğrudur” belitini kullanarak ispatlama.