Yöntembilim Terimleri Sözlüğü
önkoyut
Tümdengelimci bir dizgede tüm kanıtlamalarda kullanılan, zorunlu ya da apaçık olmamakla birlikte başka türlü düşünülemeyeceği için doğru sayılan ilksav.