Independència
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Propietat formal dels sistemes axiomàtics per la qual un axioma no pot ser deduït de cap dels altres, o cap d'ells és una conseqüència lògica dels altres. El sistema els axiomes del qual són independents no és redundant.