Diferencia entre revisiones de «Sistemas axiomáticos independientes»
Ir a la navegación
Ir a la búsqueda
(Created page with "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...") |
m (Protected "Sistemas axiomáticos independientes" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]) |
(Sin diferencias)
| |
Revisión actual - 19:36 2 nov 2017
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.