Sistemas axiomáticos completos

De Filosofia de las Ciencias
Revisión del 20:06 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

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.


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