Gödel'in ontolojik kanıtı

Matematikçi Kurt Gödel'in Tanrı'nın varlığına ilişkin bir kanıtıdır. Bu iddianın kaynağı ise Anselmus'a kadar uzanır. Anselmus'un ontolojik argümanı en kısa haliyle: "Tanrı, tanımı gereği, kendisinden daha büyüğü tasavvur edilemeyecek olandır. Tanrı idrak edilir. Eğer Tanrı idrak ediliyorsa, O'nun gerçeklikte var olmasının O'nu daha büyük kılacağını da idrak edebiliriz. Bu nedenle Tanrı'nın var olması gerekir."