En matemáticas o lógica, un axioma es una regla indemostrable o un primer principio aceptado como verdadero porque es evidente o especialmente útil. "Nada puede ser y no ser al mismo tiempo y en el mismo sentido" es un ejemplo de axioma.