Gödeli ontoloogiline jumalatõestus

Gödeli ontoloogiline jumalatõestus on argumendid Jumala olemasolu kasuks, mis leiduvad kuulsa loogiku Kurt Gödeli märkmikes ja mis avaldati alles pärast tema surma (1987). Need argumendid on ontoloogilise jumalatõestuse tüüpi.

Gödel oli küll usklik, kuid ei avaldanud oma argumente, kartes, et neid ekslikult peetakse Jumala olemasolu vaieldamatumaks tõestuseks. Tema ise nägi oma argumentides ainult loogikaalast uurimust ning Leibnizi jumalatõestuse esitust koos kõikide varjatud eeldustega. 1970. aasta paiku ta näitas neid korduvalt sõpradele.

Neid argumente on arutanud ja püüdnud laitmatult formuleerida mitmed loogikud.