sonlu tümevarım anlamı İng. finite induction Alm. endliche Induktion Fr. induction finie
N üzerinde tanımlı bir p önermesini doğrulayan sayıların kümesine M denilmek üzere; (…)koşullan gerçeklendiğinde, p önermesinin her doğal sayı için doğru olduğunu belirleyen kanıtlanım yöntemi. Karşılaştırınız. sonluötesi tümevarım.