Independencia de los axiomas

Independencia de los axiomas.  Los axiomas de un sistema determinado  se llaman independientes cuando ninguno de ellos puede ser obtenido como teorema a partir de los restantes o de manera semejante, se llama independiente a un axioma P respecto de los otros si se obtiene un sistema consistente tanto si se les añade P como si se les añade -P.