axioma (sustantivo masculino): Elemento básico de un sistema de lógica formal que, junto con las reglas de inferencia, define un sistema deductivo.