ö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.