Diferencia entre revisiones de «Sistemas axiomáticos completos»
Ir a la navegación
Ir a la búsqueda
m (Protected "Sistemas axiomáticos completos" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]) |
Sin resumen de edición |
||
| 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.