(Alm. Induktion, f; Fr. induction, f; İng. induction)
mat. N doğal sayılar kümesi üzerinde tanımlı bir p önermesini doğru kılan sayıların kümesine M denilmek üzere; 1 ? M ve n ? M => n+1 ? M koşulları gerçeklendiğinde, p önermesinin her doğal sayı için doğru olduğunu belirleyen tanıtlama yöntemi.