Independència
De Wikisofia
La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Propietat formal dels sistemes axiomàtics per la qual un axioma no pot ser deduït de cap dels altres, o cap d'ell...».)
La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Propietat formal dels sistemes axiomàtics per la qual un axioma no pot ser deduït de cap dels altres, o cap d'ell...».)
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.