|
IES A SARDIÑEIRA Avenida da Sardiñeira, 41-42. 15008 A Coruña; Teléfono: 881 960 150 e-mail: ies.sardineira@edu.xunta.gal |
A proba ontológica de Gödel é un argumento formal para a existencia de Deus proposto polo matemático Kurt Gödel
Simbólicamente:
Existe Deus:
Teorema 1: Se unha propiedade é positiva, entón é compatible, i.e., posiblemente exemplificada.
Teorema 2: A propiedade de ser como Deus é compatible.
Teorema 3: Se algo é como Deus, entón a propiedade de ser como Deus é unha esencia daquela cousa.
Teorema 4: Necesariamente, a propiedade de ser como Deus está exemplificada.