Schema della prova ontologica di Gödel
Gödel si ispirò alla prova ontologica di Leibniz e, utilizzando gli strumenti della logica moderna, diede nuovo impulso alla tradizione iniziata con Anselmo d'Aosta.
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.