Diferencia entre revisiones de «Sistemas axiomáticos consistentes»

De Filosofia de las Ciencias
Saltar a: navegación, buscar
m (Protected "Sistemas axiomáticos consistentes" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading])
 
Línea 1: Línea 1:
 +
Los sistemas axiomáticos consistentes son aquellos en donde no es posible obtener un enunciado y su negación, ambos como teoremas.
  
 
+
Si, en cambio, a partir de los axiomas de un sistema se pueden obtener un enunciado y también su negación como teoremas, entonces el sistema es inconsistente.
 
 
 
 
  
  

Revisión actual del 20:04 2 nov 2017

Los sistemas axiomáticos consistentes son aquellos en donde no es posible obtener un enunciado y su negación, ambos como teoremas.

Si, en cambio, a partir de los axiomas de un sistema se pueden obtener un enunciado y también su negación como teoremas, entonces el sistema es inconsistente.



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