## [Primer Teorema de Incompletitud de Gödel](/es/node/60100) Definición El teorema que afirma que toda teoría formal consistente, efectivamente axiomática y capaz de representar un fragmento suficiente de la aritmética contiene oraciones verdaderas que no son demostrables dentro de esa teoría; establece una brecha necesaria entre verdad semántica y demostrabilidad para tales sistemas. ## Principio Principio La aritmetización de la sintaxis junto con el lema del punto fijo (diagonalización) y la representabilidad de funciones recursivas producen una oración G que afirma su propia no-demostrabilidad; desde la consistencia se deduce que G no es demostrable, por lo que la teoría es incompleta si es consistente. ## Demostración Demostración En la Aritmética de Peano de primer orden se construye una oración G tal que PA prueba G ↔ 'G no es demostrable en PA'. Si PA fuera a la vez consistente y completa, probar G o su negación conduciría a contradicción; la consistencia implica que PA no puede probar G, y si PA no puede refutar G entonces G es una afirmación aritmética verdadera pero no demostrable. ## Aplicación incorrecta Aplicación incorrecta Interpretar el teorema como que 'toda la matemática' es incompleta en un sentido informal o nihilista, o confundir la no-demostrabilidad en un sistema formal particular con inaccesibilidad absoluta; también usarlo para afirmar que cualquier teoría no formalizada debe ser incompleta sin verificar condiciones de expresividad y efectividad. ## Consecuencia Consecuencia Cualquier teoría suficientemente expresiva y efectivamente axiomática consistente no puede ser a la vez completa y recursiva; siempre existirán oraciones aritméticas indecidibles relativas a esa teoría, lo que obliga a métodos metateóricos o a sistemas más fuertes para resolverlas. ## Inversión Inversión La inversión ingenua — 'si una teoría prueba cada oración aritmética verdadera entonces debe ser inconsistente' — es incorrecta; más bien, el teorema implica que ninguna teoría recursivamente axiomática de ese tipo puede ser completa, ya que la completitud junto con la efectividad de los axiomas contradice la consistencia bajo las hipótesis del teorema. ## Límite Límite Se aplica a sistemas formales que son consistentes, recursivamente enumerables (efectivamente axiomáticos) y pueden representar suficiente aritmética (por ejemplo Q de Robinson); no se aplica a sistemas débiles incapaces de codificar la sintaxis necesaria ni a marcos no efectivos o esencialmente semánticos. ## Tensión semántica Tensión semántica Pone en evidencia la tensión entre la verdad (verdad aritmética en el modelo estándar) y la demostrabilidad formal: una oración puede ser verdadera pero no demostrable en una teoría dada; esto choca con nociones informales que igualan demostrabilidad y verdad. ## Síntesis Síntesis El primer teorema de Gödel usa autorreferencia y la formalización de la demostrabilidad para mostrar que cualquier teoría consistente y efectivamente axiomática capaz de aritmética básica debe dejar oraciones aritméticas verdaderas sin demostrar, exponiendo un límite intrínseco de los sistemas axiomáticos formales.