Un axioma , a veces llamado postulado, es una afirmación matemática que se considera verdadera y por tanto, es aceptada sin demostración. Son el punto de partida para el desarrollo, organizado y formal, de las teorías matemáticas y a partir de los cuales se obtienen nuevos resultados verdaderos, llamados Teoremas.

Algunos defienden que deberían ser “evidentes por sí mismos”, simples e incuestionablemente ciertos. Pero juzgar que algo sea “simple,…” es algo subjetivo y relativo.