Doğal sayılara ilişkin (?) gibi tümel bir önermenin, (?) önermelerinin kanıtlanmasına dayanan kanıtlanımı. || Tümevarımlı kanıtlanımın tümevarımın değil de tümdengelimin bir biçimi olduğunu belirtmek gerekir. Krş.. temel mantıklı sayı kuramı.
TDK Mantık Terimleri Sözlüğü