Auch Gödels formal zweifelsfrei korrekter ontologischer Beweis ist umstritten. Einerseits muss der logisch-ontologische Rahmen zur Theorie positiver, negativer und essentieller Eigenschaften akzeptiert werden. Andererseits erhebt sich die Frage, ob der Beweis inhaltlich sein Ziel erreicht. Problematisch ist nämlich nach Thomas Gawlick der Nachweis positiver Eigenschaften zur Theodizee-Frage, nämlich der Beweis von Gottes Liebe und Allmacht und deren Vereinbarkeit, weil nur die Identität x = x als positive göttliche Eigenschaft bewiesen werden kann. Der zeitgenössische Philosoph und Logiker Joachim Bromand äußert ferner folgende Kritik: Gödels Beweis zeige nicht, dass die Eigenschaften Gottes eine konsistente Menge bilden, also die Menge der Eigenschaften Gottes eine Menge positiver Eigenschaften ist. „In diesem Sinne“ sei er als Beweis für die Existenz Gottes unvollständig. Die Eigenschaften Gottes zu untersuchen und auszuwerten sei aber Aufgabe der Theologie und gehöre nicht zum Anliegen des Beweises.