Gödel'in ontolojik kanıtı
Gödel'in ontolojik kanıtı, matematikçi Kurt Gödel'in (1906–1978) Tanrı'nın varlığına ilişkin bir kanıtıdır. Bu iddianın kaynağı ise Anselmus'a (1033-1109) 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.