Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
+++ independencia .
Propiedad formal de los sistemas axiomáticos por la que un axioma no puede ser deducido de ninguno de los otros, o ninguno de ellos es una consecuencia lógica de los demás. El sistema cuyos axiomas son independientes no es redundante.