La demostración de la existencia de Dios según Kurt Gödel

Es bien sabido que el lógico matemático Kurt Gödel, amigo de Einstein, se convirtió en uno de los matemáticos más importantes de la historia con su teorema de la incompletitud.

Algo menos conocido es su llamado «Teorema de Dios», en el que demuestra que es posible reunir todas las cualidades positivas en un mismo sistema, y no sólo eso, sino que es necesario que este sistema exista. Dios es el depositario por definición de todas las cualidades positivas, de modo que el teorema demuestra, en el fondo, la existencia de Dios. O, al menos, que la existencia de Dios es lógica.

Antes de abordar cualquier teorema, debemos tener en cuenta que, si está bien hecho, debe funcionar independientemente de las ideas filosóficas o metafísicas de su creador. Un teorema tiene que tener vida propia, vida científica, pero si depende para su corrección de las ideas filosóficas o metafísicas atribuidas o atribuibles al lógico que lo diseñó, no puede ser considerado como tal teorema. Pitágoras creía en la divinidad del número, pero a nadie en su sano juicio se le ocurre tratar de refutar el teorema que lleva su nombre, utilizando como argumento tal creencia pitagórica.

He aquí la demostración del «Teorema de Dios» de Gödel, explicada para «profanos». Quien tenga paciencia para leer y entender, que lo haga.

1️⃣ Primera premisa (Axioma 1)

Enunciado:

Toda propiedad implicada por una propiedad positiva también es positiva.

P(φ) ∧ ∀x [φ(x) → ψ(x)] → P(ψ)

Explicación:

• Con palabras más llanas y obvias, referidas a lo general (no exclusivamente a propiedades): «algo no puede ser positivo si su efecto es negativo», o «algo sólo es positivo si su efecto es positivo».

• Este axioma asegura que las propiedades positivas son cerradas bajo implicación, evitando contradicciones lógicas.

• Ejemplo analógico: si consideramos que «ser cuadrado» es positivo y que «ser cuadrado» implica «no ser redondo», entonces «no ser redondo» también es positivo.

• Dependencia de A2: este axioma solo tiene sentido porque A2 define qué es una propiedad positiva y qué es negativa. Sin ese vocabulario coherente, A1 no puede aplicarse.

• Sobre críticas: negar A1 implicaría que existe una propiedad ψ derivada de una propiedad positiva φ que no es positiva. Esto no refuta la demostración de Gödel, sino que destruye la coherencia lógica necesaria para definir propiedades positivas.

• Consecuencia: si no hay coherencia en las propiedades positivas, tampoco se puede definir a Dios como el ser que posee todas ellas.

• Comentario adicional: toda afirmación lógica implica la categoría positiva o negativa; negar estas categorías destruye la estructura mínima de la lógica, y por eso no hay discurso lógico sin esta distinción.

• El racionalista/gödeliano acepta A1 porque es una verdad lógica evidente por sí misma sobre la perfección.

• El empirista, cuando se le presiona, no puede criticar consistentemente A1 porque, para hacerlo, debe abandonar su propio campo científico y hacer afirmaciones metafísicas infundadas sobre el «valor» de cosas como el dolor o la muerte.

• Por lo tanto, se puede concluir que no existe una postura consistente, ni empírica ni lógica, para criticar la validez o la solidez del Axioma A1 de Gödel.

---

2️⃣ Segunda premisa (Axioma 2)

Enunciado:

Toda propiedad negativa es la negación de una propiedad positiva, y viceversa:

P(¬φ)↔¬P(φ)

Explicación:

• Este axioma define el vocabulario de propiedades positivas y negativas.

• Ejemplo analógico: si «no ser redondo» es positiva, entonces «ser redondo» es negativa.

• Universalidad: en cualquier mundo posible coherente, estas dos categorías mínimas existen; cualquier operador adicional (por ejemplo «neutro» en un sistema trivalente) queda fuera del esquema de Gödel.

• Sobre críticas: negar A2 significa permitir que una propiedad sea positiva y negativa a la vez, lo cual es contradictorio. No se puede operar en un mundo así: deja de ser un mundo posible coherente.

• Relación con A1: A1 depende de que A2 haya definido previamente positivo/negativo; sin este vocabulario coherente, no se puede aplicar el cierre de implicación de A1.

• Conclusión: A2 es necesario y se cumple en todos los mundos posibles coherentes. Esto garantiza que el vocabulario de propiedades positivas/negativas tenga sentido y que A1 pueda operar correctamente.

3️⃣ Tercera premisa (Teorema 1)

Enunciado:

Toda propiedad positiva puede ser admitida en el sistema sin que este se vuelva incoherente.

Todas las propiedades positivas son compatibles entre sıˊ dentro del sistema.

Esto implica también que no se puede excluir de un sistema lógico coherente ninguna propiedad positiva.

P(φ)→⋄∃[φ(x)]

Explicación:

• Ejemplo analógico:

  • Si las propiedades positivas fueran del tipo «ser cuadrado», la coherencia lógica obliga a que las otras propiedades positivas sean del tipo «no ser redondo».

  • Si las propiedades positivas fueran del tipo «ser redondo», la coherencia lógica obliga a que las otras sean «no ser cuadrado».

Nota: estos ejemplos son concretos para facilitar la comprensión; en realidad, estamos tratando atributos lógicos de segundo orden, no propiedades empíricas o morales. 

• Derivación de los axiomas:

  • Tanto A1 como A2 se aplican a todos los mundos posibles coherentes, por lo que este teorema también se aplica necesariamente en todos los mundos posibles.

  • A2 establece que una propiedad positiva no puede ser negativa, determinando qué propiedades A1 puede considerar para su cierre bajo implicación.

  • En otras palabras, A2 expulsa a las propiedades negativas del dominio de A1, garantizando que A1 solo opera sobre propiedades positivas.

  • Por tanto, no se pueden aceptar simultáneamente A2 y la negación de A1. Como A2 es necesario, A1 también debe aceptarse.

• Consecuencia del teorema:

  • El «universo de lo positivo» es autosuficiente y coherente.

  • No necesita referirse a las propiedades negativas para definirse; su propia coherencia interna impide que las negativas puedan entrar.

  • Si se intentara introducir una propiedad negativa, el sistema colapsaría por incoherencia.

• Comentario histórico y pedagógico:

  • Gödel presenta este teorema como si fuera un resultado independiente, pero en realidad es la consecuencia lógica directa de A1 y A2.

  • Esto ha generado debates sobre su aparente «arbitrariedad», cuando en realidad es simplemente la derivación inevitable de los axiomas básicos.

  • Trivialidad: también se ha acusado a T1 de «trivialidad». Para desbaratar este argumento, sólo hace falta intentar aplicarles A1 y A2 a las propiedades negativas en lugar de las positivas, y se comprobará que T1 no tiene sentido con nada más que con las propiedades positivas.

4️⃣ Cuarta premisa (Definición 1)

Enunciado formal:

G(x) ⇔ ∀φ[P(φ)→φ(x)]

Interpretación:

Un objeto x es divino si y solo si posee todas las propiedades positivas.

Explicación y observaciones:

1. Aplicación de los axiomas anteriores:

   • Para poder hablar de Dios de forma formal, es necesario definir primero qué se entiende por «Dios».

   • La definición de Gödel utiliza la coherencia demostrada en el Teorema 1 (premisa 3), que garantiza que todas las propiedades positivas pueden coexistir sin contradicción, y que no hay superposición con propiedades negativas.

   • Esto asegura que la definición de Dios es internamente coherente.

2. Lo que se ha demostrado hasta ahora:

   • No se ha demostrado la existencia de Dios, ni su necesidad.

   • Lo que sí se ha mostrado es que es posible que un ser posea todas las propiedades positivas.

   • La definición de Dios formaliza este ser posible, como el que acumula todas las propiedades positivas.

3. Rol de las premisas anteriores:

   • Las premisas 1 (A1) y 2 (A2) junto con el Teorema 1 (premisa 3) no prueban la existencia de Dios, sino que aseguran la coherencia lógica de su definición.

   • Solo después de esta definición se podrá plantear formalmente la existencia y necesidad de un ser divino dentro del sistema.

Comentario adicional:

• Esta definición es puramente formal y lógica: no introduce propiedades empíricas, morales o subjetivas.

• Es la base para los siguientes pasos del teorema de Gödel, donde se demostrará la posibilidad y la necesidad modal de un ser que posee todas las propiedades positivas.

5️⃣ Quinta premisa (Axioma 3)

Enunciado:

La cualidad de ser divino es positiva.

Formalmente: 

P(G),

donde G es la propiedad de poseer todas las propiedades positivas (Definición 1).

Explicación y observaciones:

1. Rol del axioma:

   • A3 no es un teorema, sino un axioma que asigna un nombre a una propiedad previamente demostrada como coherente por el Teorema 1 (T1).

   • Esto permite referirse formalmente al «ser divino» dentro del sistema, garantizando que su definición es internamente coherente.

2. Relación con T1:

   • T1 demuestra que un ser puede poseer todas las propiedades positivas sin contradicción, y que estas propiedades son válidas en todos los mundos posibles coherentes.

   • A3 simplemente llama «divina» a esa propiedad de acumular todas las propiedades positivas.

3. Sobre la «necesidad» de A3:

   • La propiedad «divina» es válida en todos los mundos posibles coherentes, porque T1 ya asegura que la propiedad de poseer todas las propiedades positivas es coherente en todos esos mundos.

   • Esta necesidad no es modal dentro del sistema, sino lógica y definicional: es una consecuencia directa de la definición y de la coherencia establecida por los axiomas y T1.

4. Crítica y rebatimiento:

   • Crítica: A3 sería «metafísica sustantiva».

   • Rebatimiento: no es metafísica; es una estipulación terminológica. Nombrar la propiedad «divina» permite seguir trabajando formalmente con ella, sin introducir su existencia ni necesidad todavía. Es una etiqueta para un concepto cuya coherencia ya está probada.

5. Coherencia interna:

   • Decir que ser divino es positivo no genera contradicción, porque T1 ya garantiza que todas las propiedades positivas pueden coexistir.

   • Negar A3 sería equivalente a afirmar que la acumulación de todas las propiedades positivas es negativa, lo cual colapsaría el sistema y violaría el principio de clausura de T1.

6️⃣ Sexta premisa (Teorema 2)

Enunciado:

Es posible que exista un ser divino.

Formalmente:

◊∃x G(x),

donde ◊ denota posibilidad modal y G(x) es la propiedad de ser divino (Definición 1).

Explicación y derivación:

1. Consecuencia de las premisas anteriores:

   • Teorema 1 asegura que el conjunto de todas las propiedades positivas es lógicamente consistente y coherente en todos los mundos posibles.

   • Definición 1 establece que «ser divino» es simplemente poseer todas las propiedades positivas.

2. Razonamiento lógico:

   • Si el conjunto de propiedades positivas puede coexistir sin contradicción, entonces un ser que las posee no genera incoherencia.

   • Por tanto, la existencia de un ser divino es posible, dado que nada en el sistema impide que esas propiedades se reúnan en un mismo sujeto.

3. Importancia del teorema:

   • Este teorema no afirma que el ser divino exista, solo que su existencia no es imposible dentro del sistema formal.

   • Sirve como base para los pasos siguientes, donde se argumentará sobre la necesidad de dicho ser divino.

7️⃣ Séptima premisa (Definición 2: esencia)

Enunciado formal:

Ess(ϕ,x)  ⟺  ∀ψ [ψ(x)→□∀y (ϕ(y)→ψ(y))]

Interpretación:

Una propiedad ϕ es la esencia de un individuo x si y solo si:

1. x tiene la propiedad ϕ

2. ϕ implica necesariamente todas las propiedades que x posee.

En otras palabras, la esencia de un individuo es aquello que lo define completamente, aquello que lo hace ser él mismo.

Explicación pedagógica

1. Forma reducida:

   • La esencia es una propiedad mínima que contiene todas las propiedades de un individuo.

   • Es decir, si un individuo tiene ciertas propiedades, su esencia es aquella propiedad que necesariamente las implica todas.

   • No es un rasgo adicional, sino una función generadora de las propiedades del individuo.

2. Ejemplo analógico (no real): la esencia de un individuo, Antonio, es aquella propiedad (quizás la propiedad de «ser Antonio», un haecceitas o estoidad) que necesariamente implica todas las propiedades que él tiene, como ocupar el espacio que él mismo ocupa o tener cierta altura. Si le quitaras la esencia de «ser Antonio», dejaría de ser ese individuo específico.

3. Economía simbólica:

   • La fórmula □∀y(ϕ(y)→ψ(y)) se resume en «Ess(x)» para ahorrar repetición y simplificar la exposición. [Nota: Ess(x) suele usarse para denotar «existe una esencia de x», no la fórmula completa]

   • Esto permite referirse a la esencia sin reescribir cada vez la implicación necesaria de propiedades.

4. Conexión lógica:

   • La noción de esencia sirve como vínculo entre la posibilidad de un ser divino (T1) y su necesidad (T2).

   • Si un ser posible posee todas las propiedades positivas, entonces poseer todas esas propiedades es su esencia, y todo lo que posee se sigue necesariamente de esa esencia.

5. Importancia para la demostración:

• Sin esta definición formal de esencia, no sería posible pasar de la posibilidad de un ser divino a su necesidad.

• La definición formaliza el vínculo ontológico entre «tener todas las propiedades positivas» y «existir necesariamente».

8️⃣ Octava premisa (Axioma 4)

Enunciado:

Si una propiedad es positiva, entonces la propiedad de tener esa propiedad también es positiva.

• Formalmente (una lectura equivalente a Gödel):

P(ϕ)→□P(ϕ)

• o, en otra interpretación, autológica:

P(ϕ)→P(P(ϕ))

Ejemplo pedagógico:

• Si «ser cuadrado» es positiva, entonces la propiedad de poseer la propiedad «ser cuadrado» también es positiva.

De forma más general:

• la positividad se conserva y se refuerza al pasar de la propiedad al acto de poseerla.

Explicación y justificación:

1. Autología y coherencia interna:

• A4 tiene sentido por sí mismo, sin depender exclusivamente del mundo lógico de Gödel.
• No puede considerarse neutral, porque A1 obliga a que las propiedades positivas permanezcan positivas en todos los contextos de implicación lógica.

2. Derivación de premisas anteriores:

• Que A4 no es aquí una arbitrariedad de Gödel se comprueba también al deducirlo del Teorema 1 y de la Definición 1 de ser divino (A3):
• T1 asegura que todas las propiedades positivas son coherentes y compatibles.
• La propiedad de poseerlas todas (ser divino) también es positiva y coherente.
• Por tanto, A4 formaliza como necesario lo que T1 establece como posible.

3. Contra la crítica de metafísica:

• A4 no introduce contenido nuevo; formaliza la consistencia del sistema en términos de necesidad.
• Negar A4 implicaría admitir mundos posibles donde las propiedades positivas dejaran de ser coherentes, lo que contradice T1.

4. Importancia lógica:

• Si la propiedad de tener una propiedad positiva fuera negativa, entonces una propiedad negativa podría implicar una positiva, violando la coherencia del sistema cerrado definido en T1.
• Esto es equivalente a permitir que la falsedad genere verdad dentro de un sistema lógico consistente, lo que es imposible.

5. Interpretación modal y autológica:

• La lectura modal P(ϕ)→□P(ϕ) enfatiza que la positividad es necesaria en todos los mundos posibles coherentes.
• La lectura autológica P(ϕ)→P(P(ϕ)) muestra que poseer una propiedad positiva sigue siendo positivo, subrayando la consistencia interna del sistema.

6. Resumen:

• A4 no es una afirmación metafísica sustantiva, sino una formalización necesaria de la coherencia de T1.
• Garantiza que la positividad de las propiedades se mantiene invariante en todos los mundos posibles, asegurando la consistencia lógica del sistema y del Ser Divino.

9️⃣Novena premisa (Axioma 5)

Axioma 5 (A5):

La existencia necesaria es una propiedad positiva.

Enunciado formal:

P(E(x)),

donde E(x)=∀φ(Ess(φ,x)→□∃y φ(y)).

Es decir: la propiedad de «ser necesariamente existente» —definida rigurosamente a partir de la noción de esencia— se considera positiva dentro del sistema.

Este axioma suele interpretarse como una simple suposición metafísica, pero en el marco de la demostración y desde la perspectiva que estamos adoptando, A5 tiene una función mucho más profunda: formaliza una intuición básica sobre la naturaleza de la lógica y de la existencia.

Pero si la reformulamos así: P(E(x)), para E(x) = ∀φ [Ess(φ,x) → □∃y φ(y)], donde la propiedad de «existencia necesaria» se considera positiva dentro del sistema, se aprecia mejor en ella este sentido: si no entiendes que la existencia de la lógica está condicionada a la existencia del universo empírico y que la existencia del universo empírico está condicionada a la existencia de la lógica, careces de pensamiento lógico o de pensamiento empírico.

1. Fundamento empírico: la raíz de la lógica

La existencia necesaria es observable empíricamente: es necesario que uno mismo exista para que pueda observar (Descartes).

El punto de partida de la lógica —igual que el de la ciencia empírica— es la observación elemental de la realidad: algo es o no es; algo está o no está. Esta distinción empírica primaria genera los conceptos más básicos de la lógica: positivo/negativo, afirmación/negación, ser/no ser.

Si la lógica nace de esta experiencia primitiva del ser, entonces la propiedad de «existencia necesaria» no es un salto metafísico, sino una proyección lógica natural de aquello que la experiencia ya enseña:

lo que existe de manera estable y no contingente tiene un valor positivo dentro de la estructura del ser.

 No hay nada en la inteligencia que antes no haya estado en los sentidos (principio del empirismo).

Por eso, para quien reconoce esta raíz empírica de la lógica, A5 es evidente en lugar de controvertido.

2. Función lógica de A5 dentro del sistema

En el interior del sistema formal de Gödel:

• A1–A4 establecen que las propiedades positivas son consistentes.

• El Teorema 1 muestra que puede existir un ser que posea todas ellas.

• El Teorema 2 muestra que dicho ser es posible.

• A5 es el puente necesario para concluir que su existencia es necesaria.

A5 no introduce nada incompatible: opera sobre una propiedad que, dentro del sistema, debe ser positiva para que el conjunto de propiedades divinas permanezca cerrado y coherente. Sin A5 no se podría completar el razonamiento modal.

3. Consecuencias para quien acepta A5

Quien acepta A5 reconoce que:

• la lógica procede de la experiencia primaria del ser,

• la propiedad de «existencia necesaria» es coherente con esa raíz,

• y el sistema modal de Gödel es consistente en todos sus pasos.

Para esta persona, la demostración funciona simultáneamente como:

• una prueba lógica, porque es formalmente válida en todos los mundos del sistema, y

• una prueba empírica, porque se apoya en la intuición fundamental que origina tanto la lógica como la ciencia.

Este doble carácter —lógico y empírico a la vez— es inusual y notable.

4. Consecuencias para quien rechaza A5

Quien rechaza A5 por considerarlo «metafísico» se está comprometiendo sin advertirlo con una posición racionalista extrema, que niega:

• la raíz empírica de la lógica (ser/no ser),

• la conexión entre lógica y realidad,

• la base de la ciencia empírica, que también depende de esa distinción fundamental.

Al negar el único punto donde convergen lógica y experiencia, esta persona:

• queda fuera del sistema lógico de Gödel, porque no acepta uno de sus axiomas esenciales;

• queda fuera de los mundos posibles del sistema, porque A5 define su estructura;

• y se queda también sin una base empírica, porque la ciencia depende igualmente de la distinción ser/no ser que está negando.

En otras palabras:

rechazar A5 implica abandonar a la vez la lógica del sistema y la lógica que subyace a la ciencia empírica.

Conclusión integrada

El Axioma 5 no es un elemento arbitrario: es la pieza que muestra que la demostración de Gödel tiene un carácter doble —lógico y empírico— porque se funda en la distinción más básica y universal de la experiencia. Quien acepta A5 permanece dentro del sistema modal completo y obtiene el teorema de existencia necesaria. Quien lo rechaza se autoexcluye tanto del sistema lógico como del marco empírico que fundamenta toda lógica y toda ciencia.

🔟 Décima premisa (Teorema 3)

Enunciado (forma compacta):

Si es posible que exista un ser que posea todas las propiedades positivas, entonces ese ser existe necesariamente.

◊∃x G(x) ⟹ □∃x G(x)

En lenguaje ordinario: si es posible que exista un ser que reúna todas las perfecciones, entonces ese ser no puede no existir.

🦉Demostración conceptual y dependencia de axiomas

Este teorema no introduce nuevas suposiciones: es la consecuencia formal de la estructura ya fijada por A1–A5 y por las definiciones previas. Para ver por qué, conviene recordar lo que ya tenemos:

• A1 (clausura): las propiedades positivas son cerradas bajo implicación.

• A2 (complementariedad): positivo/negativo están definidos y son mutuamente excluyentes.

• Definición 1 (G): G(x) ⇔ ∀φ [P(φ)→φ(x)]

• Definición 2 (esencia): Ess(φ,x) formaliza que φ es la propiedad que implica necesariamente todas las propiedades de x.

• A3: la propiedad «ser divino» es positiva (nominalización coherente).

• T1–T2: muestran que el conjunto P de propiedades positivas es coherente y que la existencia de un ser que las posea es posible: ◊∃x G(x).

• A4 (invariabilidad/autología): P(φ)→□P(φ) (la positividad es invariante/necesaria).

• A5: P(E) —la existencia necesaria es una propiedad positiva.

Usando estas piezas, el razonamiento es este (en palabras claras):

1. Partimos de ◊∃x G(x): existe algún mundo posible w donde hay un sujeto a con G(a).

2. Por definición de G, en ese mundo w, para toda φ con P(φ) se cumple φ(a).

3. En particular, como A5 dice P(E), y por A4 la positividad es invariante (□P), en ese mundo w la propiedad E también es positiva y por definición G(a) implica E(a).

4. Pero E(a) significa (por su definición) que toda esencia de a implica necesariamente la existencia de algo que tenga esa esencia; en particular implica □∃y φ(y) para las φ pertinentes.

5. Por tanto, en w se tiene la existencia necesaria de lo que describe E; esto, unido con la invariancia modal (y con el principio modal que hace pasar de «es posible que sea necesario» a «es necesario»), permite sacar la conclusión en la actualidad modal de que □∃x G(x).

Nota técnica importante: para convertir el paso «posible → necesario» en la forma precisa usada por Gödel suele necesitarse el sistema modal S5 (o al menos el principio S5: si algo es posible- necesario entonces es necesario), y la interpretación estándar de la invariancia modal que hemos tomado en A4.

Interpretación intuitiva y por qué no hay salto arbitrario

• No se está «añadiendo» la necesidad por capricho. Lo que se hace es aplicar la clausura de la positividad y la inclusión de la existencia necesaria entre las propiedades positivas: si algo posee todas las propiedades positivas, debe poseer también la existencia necesaria que está dentro de ese conjunto.

• La necesidad emerge de la estructura del sistema, no se empotra arbitrariamente sobre el sujeto: negarla sería romper la clausura del operador P.

• Por eso el Teorema 3 es el cierre lógico de toda la construcción: la clausura positiva, la definición de esencia y la inclusión de E en P convierten la posibilidad modal en una necesidad ontológica.

✅ Consecuencias (resumidas)

• Para quien acepta los axiomas A1–A5 y el uso de la lógica modal estándar (S5): el Teorema 3 cae como una consecuencia inevitable: la posibilidad de un ser divino se convierte en su necesidad. La prueba llega a su fin de forma deductiva.

• Para quien rechaza A5 o la invarianza de P (A4): el paso falla. Rechazarlas es rechazar la condición mínima de coherencia que hace funcionar la clausura; en tal caso se está trabajando fuera del marco lógico que la demostración exige.

• No requiere nuevos postulados más allá de A1–A5 y de la lógica modal estándar: es la clausura ontológica que resulta de las definiciones y de las propiedades del conjunto P.

11. Undécima premisa (Corolario Final):

Existe necesariamente un ser divino

Afirmación formal:

□∃x G(x)

A partir de:

Teorema 2: ◇∃x G(x) — es posible que exista un ser que posea todas las propiedades positivas.

Teorema 3: ◇∃x G(x) → □∃x G(x) — si es posible que exista, entonces existe necesariamente.

Se obtiene por modus ponens:

Conclusión:

□∃x G(x) — existe necesariamente un ser divino.

Coherencia estructural:

Este es el cierre lógico natural del sistema: no introduce axiomas nuevos ni presupuestos adicionales. El corolario surge exclusivamente de combinar los dos teoremas anteriores. Desde el punto de vista formal, es un paso casi trivial; desde el punto de vista filosófico, es decisivo, porque convierte una mera posibilidad lógica en necesidad ontológica.

Fundamento en los pasos previos:

• El Teorema 2 garantizó la consistencia de postular un ser que posea todas las propiedades positivas: nada en el sistema lo contradice; por tanto, puede existir.
• El Teorema 3 mostró que, en un sistema donde la positividad está clausurada y donde la existencia necesaria es positiva (Axioma 5), todo ser que pueda poseer todas las propiedades positivas debe existir necesariamente.
• De este modo, negar la existencia necesaria de ese ser destruiría la coherencia interna del sistema: quedaría una propiedad positiva —la existencia necesaria— sin realización, lo cual contradice su positividad.

Conclusión integrada

El Corolario Final cierra toda la estructura:

• Si es posible un ser divino (T2),
• y toda posibilidad de este tipo implica necesidad (T3),
• entonces ese ser existe necesariamente.

Gödel no añade nada: simplemente aplica la implicación. La posibilidad lógica se transforma en necesidad ontológica por la propia arquitectura del sistema. La consistencia interna del conjunto de propiedades positivas culmina en su realización necesaria.

Valoración personal

Personalmente, he de decir que lo que más me fascina de esta demostración son dos puntos:

• el modo en que el Teorema 1 blinda casi todo el resto del razonamiento;
• y, sobre todo, la fuerza del Axioma 5 para, partiendo del origen mismo de la ciencia lógica, entender lo «positivo» y lo «negativo» como lo que está presente y ausente en el universo material, transmitirle al lector este mensaje: «si no entiendes que el propio razonamiento lógico surge de una observación empírica: que algo está o que no está, que es o que no es, y que lo uno es lo positivo y lo otro es lo negativo, entonces no eres ni lógico ni empírico».