及克里普克等20世纪逻辑学家所发展的模态逻辑，分开了"必需"的真与"偶然"的真。formula_1 表示必然性，而 formula_2 表示可能性。证明的关键在于利用「神可能存在」（定理２）及神的极致性（定义１）去推导出「神必然存在」（定理４）。在S5模态逻辑系统的框架下，这项结论可谓全然有效，因此相当惊人。然而，若使用相同的逻辑推论去假设极致伟大的存有不存在，也同样没有任何自相矛盾之处。
证明.
圣安瑟伦的论点.11世纪的意大利僧侣圣安瑟伦，其论点用最简洁的