La demostración ontológica de Gödel es una versión moderna del argumento ontológico para la existencia de Dios de San Anselmo de Canterbury (1033–1109), un monje benedictino que fue arzobispo de Canterbury desde 1093 hasta su muerte.
Su argumento, de forma resumida, es el siguiente: "Dios, por definición, es lo más perfecto que puede ser pensado. Si pensáramos en Dios como inexistente, entonces no sería realmente la idea de Dios, pues tendría la imperfección de no existir. Entonces, la oración 'Dios existe' es necesariamente verdadera. Por lo tanto, Dios existe".
El Teorema de Gödel es el siguiente:
•Axioma 1. (Dicotomía) Una propiedad es positiva si, y sólo si, su negación es negativa.
•Axioma 2. (Cierre) Una propiedad es positiva si contiene necesariamente una propiedad positiva. •Teorema 1. Una propiedad positiva es lógicamente consistente (por ejemplo, existe algún caso particular).
•Definición. Algo es semejante-a-Dios si, y solamente si, posee todas las propiedades positivas. •Axioma 3. Ser semejante-a-Dios es una propiedad positiva.
•Axioma 4. Ser una propiedad positiva (lógica, por consiguiente) es necesaria.
•Definición. Una propiedad P es la esencia de x si, y sólo si, x contiene a P y P es necesariamente mínima.
•Teorema 2. Si x es semejante-a-Dios, entonces ser semejante-a-Dios es la esencia de x.
•Definición. NE(x): x existe necesariamente si tiene una propiedad esencial.
•Axioma 5. Ser NE es ser semejante-a-Dios.
•Teorema 3. Existe necesariamente alguna x tal que x es semejante-a-Dios
Todo el desarrollo de la teoria viene muy bien explicado en: http://francisthemulenews.wordpress.com/2013/11/03/la-demostracion-de-godel-de-la-existencia-de-dios/
Creo que es curioso, pero se podría demostrar la existencia de cualquier ser bueno y perfecto..como un Unicornio o Pikachu!
http://cuentos-cuanticos.com/2013/11/02/pikachu-existe-y-puedo-demostralo/
