Diferencia entre revisiones de «Sistemas axiomáticos consistentes»
Ir a la navegación
Ir a la búsqueda
(Created page with " ---- Sistemas axiomáticos: diálogos | Inicio de la unidad") |
Sin resumen de edición |
||
| (No se muestra una edición intermedia del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
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. | |||
Revisión actual - 20:04 2 nov 2017
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.