Resumen. Se esboza la prueba de Gödel sobre la existencia de Dios. Luego, se plantea una sencilla crítica a los supuestos de esta demostración, correcta dentro de su lenguaje formal. La crítica cuestiona la verdad de algunas de las premisas o axiomas que Gödel toma en cuenta como base para su demostración. Por último, el Dios de Gödel es caracterizado en contraste al Dios de Anselmo.
Jesús Baceta: Análisis del argumento ontológico de Gödel
