Diferencia entre revisiones de «Sistemas axiomáticos completos»
Ir a la navegación
Ir a la búsqueda
(Created page with "Los sistemas axiomáticos completos son aquellos para los que toda fórmula bien formada o bien es verdadera o bien es falsa...") |
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 completos son aquellos para los que toda [[Sistemas axiomáticos: fórmulas bien formadas|fórmula bien formada]] o bien es verdadera o bien es falsa. | Los sistemas axiomáticos completos son aquellos para los que toda [[Sistemas axiomáticos: fórmulas bien formadas|fórmula bien formada]] o bien es verdadera o bien es falsa. | ||
Si, en cambio, para un sistema axiomático existen fórmulas bien formadas que no son ni verdaderas ni falsas, entonces se trata de un sistema axiomático incompleto. | |||
---- | ---- | ||
[[Sistemas axiomáticos: diálogos]] | [[Ciencias formales: el surgimiento de las geometrías no euclideanas|Inicio de la unidad]] | [[Sistemas axiomáticos: diálogos]] | [[Ciencias formales: el surgimiento de las geometrías no euclideanas|Inicio de la unidad]] | ||
Revisión actual - 20:06 2 nov 2017
Los sistemas axiomáticos completos son aquellos para los que toda fórmula bien formada o bien es verdadera o bien es falsa.
Si, en cambio, para un sistema axiomático existen fórmulas bien formadas que no son ni verdaderas ni falsas, entonces se trata de un sistema axiomático incompleto.