Postoji više filozofskih argumenata za postojanje Boga: dizajnerski, etički, uzročni i logički – no nijedan ne opisuje konkretne bogove religija. Ontološki argument potječe od Anselma, Descartesa i Leibniza, koji definiraju Boga kao savršeno biće koje mora postojati, jer bi inače bilo manje savršeno. Gödel je razvio formaliziranu verziju tog argumenta, no nije ga objavio iz straha da ga ne smatraju vjernikom – jer je dokaz bio logička vježba, a ne teološka izjava. U konačnici, pitanje nije postoji li Bog, nego je li logički dopušten da postoji. Njegov dokaz sadrži niz precizno definiranih logičkih formula i teorema, uključujući definiciju Boga, nužno postojanje i zaključak da takvo biće mora postojati u svakoj mogućoj stvarnosti – barem na papiru. Matematičar Zvonimir Šikić za Ideje.