Sistemas axiomáticos consistentes
Ir a la navegación
Ir a la búsqueda
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.