sonluötesi tümevarım anlamı İng. transfinite induction Alm.transfinite Induktion Fr.induction transfinie
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.