önsayıt anlamı İng. presupposition Osm.mefruza
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.