ઈશ્વર અસ્તિત્વમાં છે તે સાબિતી ઑસ્ટ્રિયન ગણિતશાસ્ત્રી કર્ટ ગોડેલ દ્વારા આપવામાં આવે છે.