Axioma o postulado:

Es una proposicin primitiva que se admite como cierta. En la

construccin de una teora axiomtica se ha de partir de un conjunto
de axiomas, escogidos de tal forma que dicho conjunto ha de ser:
compatible, suficiente, independiente.
Analicemos estas caractersticas:
Compatibilidad: Dos axiomas no pueden formular en ellos, ni
producir en sus resultados derivados, relaciones contradictorias.
Suficiencia: Toda proposicin verdadera ha de ser deducible dentro
del sistema.
Independencia: Ningn axioma ha de poderse deducir de otros.
Estableciendo el sistema de axiomas (que por cierto, no tienen
porque ser "evidentes"), se comienza a construir la teora
enunciando y demostrando los teoremas .