哥德尔本体论证明是数学家库尔特·哥德尔对11世纪意大利僧侣圣安瑟伦对于神存在性的本体论论点整理并改进后所作的数学表达方式。圣安瑟伦后曾有17世纪的莱布尼茨提出了另一个较复杂的宇宙论证版本，而这个就是哥德尔所研究并尝试用其本体论逻辑论点去澄清的版本。虽然哥德尔有宗教信仰，他从未发表这个证明。他在1970年代绝食而死的前几年不断将这个论点向身边的朋友们展示，他去世九年后，即1987年，这论点才被出版。哥德尔的论证证明用上了由他本人及克里普克等20世纪逻辑学家所发展的模态逻辑，分开了"必需"的真与"偶然"