Kurt Gödel'in ontolojik ispatı, şöyle bir şey:

http://www.imgim.com/20180815_000238.jpg

Matematikle değil matematiksel mantık ile ispatladı. Aksiyomlar ve tanımlar kabul edilirse ispat kesinlikle yapısal olarak tutarlı, bu yönde bilgisayarlar yoluyla hesaplama yapıldı. Ama aksiyom ve tanımlar öyle olmaması gerekse de tartışmaya açık.

Tanrıya inanmadığımı söyleyemesem de ispat bence (az buçuk modal logic bilen biri olarak) tatmin edici değil.