Diferencia entre revisiones de «Sistemas axiomáticos completos»

De Filosofia de las Ciencias
Saltar a: navegación, buscar
m (Protected "Sistemas axiomáticos completos" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading])
 
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 del 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.


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