önkanıt

önkanıt İng. axiom

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.


önkanıt, 7 karakter ile yazılır. Ayrıca, ö harfi ile başlar, t harfi ile biter. Tüm karakter dağılımı ise, 'ö', 'n', 'k', 'a', 'n', 'ı', 't', şeklindedir.
önkanıt kelimesinin tersten yazılışı tınaknö diziliminde gösterilir.