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.
TDK Matematik Terimleri Sözlüğü