Bir (?)iyi sıralı kümesi ile bir p önermesi verildiğinde, p önermesi E nin ilk öğesi için doğruysa ve (?) kümesindeki x ler için doğru olduğunda (?) için de doğru oluyorsa, p nin E kümesi içindeki her öğe için doğru olduğunu belirten kanıtlanım yöntemi, Karşılaştırınız. sonlu tümevarım.
TDK Matematik Terimleri Sözlüğü