Matematiksel indüksiyon
Matematiksel indüksiyon, herhangi bir iddianın tüm doğal sayılar için geçerli olduğunu kanıtlamak için matematiğin kullandığı yöntemdir. Sonsuz sayıda önermeyi birlikte kanıtlamak için önce ilk önermenin doğru olduğunu kanıtlıyoruz, bir sonraki önermelerden herhangi biri doğru olduğunda sonraki önermenin doğru olduğunu kanıtlıyoruz. Daha genel olarak, herhangi bir altta yatan ilişki için büyüklük sırasına göre gereksiz indüksiyona ve yapısal indüksiyona kadar uzatılabilir. Belirli koşullar altında, matematiksel indüksiyon, doğal sayıların hizalanmasına eşdeğerdir. Matematiksel indüksiyon, adından farklı olarak, tümevarımcı bir argümana ait değildir, dolaylı bir argümana ait değildir, bu nedenle açık ve kesin bir kanıttır. Bununla birlikte, anlamda bir karışıklık olmadığında, matematiksel indüksiyon yöntemi indüksiyon yöntemi olarak kısaltılacaktır.