Tratto dalla fonte di cui sopra:
Se Dio è possibile, allora esiste necessariamente.
Ma Dio è possibile.
Quindi esiste necessariamente.
(Gödel)
Dal fatto che non possiamo pensare Dio se non esistente segue che l'esistenza sia inseparabile da Dio, e che pertanto Dio esiste effettivamente.
(Cartesio)
Dio deve esistere necessariamente perché non è impossibile che Dio sia.
(Leibniz)
Lo schema della prova ontologica di Gödel è il seguente:
Ogni proprietà positiva è necessariamente positiva.
Per definizione Dio ha tutte e solo le proprietà positive.
L'esistenza necessaria è una proprietà positiva.
Quindi Dio, se è possibile, possiede necessariamente l'esistenza.
Il sistema di tutte le proprietà positive è compatibile.
Quindi Dio è possibile.
Essendo possibile, Dio esiste necessariamente.
Appena vado in pensione mi metto a studiare filosofia, giuro!!