Yöntembilim Terimleri Sözlüğü
önkanıt
Tümdengelimci bir dizgede tüm kanıtlamalarda başvurulan ve apaçık göründüğü için kanıtlanmadan doğru sayılan ilksav.