Prendendo spunto da una prova ontologica dell’esistenza (e unicità) di Dio ideata dal monaco e teologo Anselmo d’Aosta (1033 ca. – 1109), e dopo altri tentativi effettuati nel corso dei secoli per dimostrare razionalmente l’esistenza di Dio, il matematico e logico Kurt Gödel (1906-1978) ha elaborato un teorema dell’esistenza (e unicità) di Dio [cfr. il libro La prova matematica dell’esistenza di Dio (Kurt Gödel), a cura dei matematici e logici Gabriele Lolli e Piergiorgio Odifreddi, edizione Bollati Boringhieri 2006]. Il teorema fu pubblicato dopo la morte di Gödel, il quale (battista luterano quantunque non appartenente ad alcuna congregazione, teista non panteista, nel solco di Leibniz, come dichiarò lui stesso nel 1975) aveva precisato di nutrire esclusivamente interessi di carattere logico verso la prova elaborata.