(z gr. axióma, to, čo sa uznáva, ctí, čo platí): V klasickom zmysle je axióm nedokázateľná veta, pretože je evidentná a prijímaná ako východisko úvahy, predovšetkým v matematike. Axiómy tu patria povedľa postulátov a definícií medzi východiskové vety.V modernej matematike (ale nielen v nej; v ľubovoľnom učení či teórii) každá veta, či evidentná či nie, položená bez dôkazu do počiatku nejakého hypoteticko-deduktívneho systému. Axiomatika je súbor axiómov prijatých na začiatku nejakého hypoteticko-deduktívneho systému.