Un axioma es una fbf que por ocupar un determinado lugar en un sistema de proposiciones debe considerado verdadero. Es un principio intuitivo y evidente (y por tanto que no necesita ser demostrado) que se constituye como el punto de partida de la demostración de los teoremas de un sistema.
Se puede considerar que los axiomas son casos particulares de teoremas obtenidos a partir de cero premisas.
(v. sistema formal, teorema)