而这个就是哥德尔所研究并尝试用其本体论逻辑论点去澄清的版本。虽然哥德尔有宗教信仰，他从未发表这个证明。他在1970年代绝食而死的前几年不断将这个论点向身边的朋友们展示，他去世九年后，即1987年，这论点才被出版。哥德尔的论证证明用上了由他本人及克里普克等20世纪逻辑学家所发展的模态逻辑，分开了"必需"的真与"偶然"的真。formula_1 表示必然性，而 formula_2 表示可能性。证明的关键在于利用「神可能存在」（定理２）及神的极致性（定义１）去推导出「神必然存在」（定理４）。在S5模态逻辑系