¿Qué es?
No se ha añadido ninguna twiki todavía.
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.