哥德尔本体论证明 编辑
哥德尔本体论证明是数学家库尔特·哥德尔对11世纪意大利僧侣坎特伯雷的安瑟莫对于神存在性的本体论论点整理并改进后所作的数学表达方式。坎特伯雷的安瑟莫后曾有17世纪的戈特弗里德·莱布尼茨提出了另一个较复杂的宇宙论证版本，而这个就是哥德尔所研究并尝试用其本体论逻辑论点去澄清的版本。
2