Sistemas axiomáticos consistentes

De Filosofia de las Ciencias
Revisión del 20:04 2 nov 2017 de Herny (discusión | contribs.)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
Ir a la navegación Ir a la búsqueda
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

Los sistemas axiomáticos consistentes son aquellos en donde no es posible obtener un enunciado y su negación, ambos como teoremas.

Si, en cambio, a partir de los axiomas de un sistema se pueden obtener un enunciado y también su negación como teoremas, entonces el sistema es inconsistente.



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