Diferencia entre revisiones de «Sistemas axiomáticos completos»

De Filosofia de las Ciencias
Saltar a: navegación, buscar
(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...")
 
 
(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 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