önkanıt anlamı İng. axiom Osm. mütearife, aksiyom
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.