Teorema de incompletitud de Gödel

Enunciado de los teoremas

Contexto

Los teoremas de incompletitud se formulan en el contexto de una teoría formal de primer orden. Una teoría de primer orden no es más que un modelo simplificado del razonamiento matemático, formado por dos elementos:

Este sitio web utiliza cookies, propias y de terceros con la finalidad de obtener información estadística en base a los datos de navegación. Si continúa navegando, se entiende que acepta su uso y en caso de no aceptar su instalación deberá visitar el apartado de información, donde le explicamos la forma de eliminarlas o rechazarlas.
Aceptar | Más información