matematiksel tümevarım diye adlandırabileceğimiz, eski dilde (bkz: istikrâ) olarak geçen ispat yöntemi. köklerini aristoteles'in mantık çalışmalarında bulan bu ispat yöntemi, liselerimizde genel olarak şöyle anlatılır:

bir P(n) önermesinin tümevarımla ispatı için:
n=1 için P(1) önermesinin doğru olduğunu göster.
n=k için P(k) önermesi doğru olsun.
n=k+1 için P(k+1) önermesinin doğruluğunu gösterelim.

genel olarak doğal sayılarla ilgili teoremlerin ispatında kullanılır.

matematiksel indüksiyon