Diferència entre revisions de la pàgina «Independència»
De Wikisofia
(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...».) |
(Cap diferència)
|
Revisió de 09:46, 5 feb 2015
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.