Sistemas axiomáticos independientes

De Filosofia de las Ciencias
Revisión del 19:36 2 nov 2017 de Herny (discusión | contribs.) (Protected "Sistemas axiomáticos independientes" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading])
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
Ir a la navegación Ir a la búsqueda

Los sistemas axiomáticos independientes son aquellos en los que ninguno de sus axiomas puede obtenerse por deducción a partir del resto de los axiomas.

En cambio, aquellos sistemas en los que al menos uno de sus axiomas puede obtenerse por deducción a partir de los demás axiomas, son sistemas axiomáticos dependientes.

La dependencia consiste entonces en que la información provista por alguno de los axiomas ya está incluida en el resto o en una combinación del resto de los axiomas.



Sistemas axiomáticos: diálogos | Inicio de la unidad