-
Verdad evidente que no requiere prueba o demostración.
-
Principio o regla aceptado universalmente.
-
Proposición que se considera como válida. A partir de los axiomas se desarrollan conclusiones.
-
Un axioma es el elemento básico de un sistema de lógica formal y junto con las reglas de inferencia definen un sistema deductivo.