Yöntembilim Terimleri Sözlüğü
önsayıt
Tümdengelimci her dizgenin temelini oluşturan, tüm çıkarım ve kanıtlamalarda kullanılan, ancak kendileri kanıtlanmadan geçerli sayılan ilksavlar.