哥德爾本體論證明 哥德爾本體論證明是數學家库尔特哥德尔對世紀意大利僧侶聖安瑟倫對於神存在性的本體論論點整理並改進後所作的數學表達方式聖安瑟倫後曾有世紀的莱布尼茨提出了另一個較複雜的宇宙論證版本而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本 雖然哥德爾有宗教信仰他從未發表這個證明他在年代絕食而死的前幾年不斷將這個論點向身邊的朋友們展示他去世九年後即年這論點才被出版 哥德爾的論證證明用上了由他本人及克里普克等世紀邏輯學家所發展的模态逻辑分開了必需的真與偶然的真  displaystyle Box  表示必然性而  displaystyle Diamond  表示可能性證明的關鍵在於利用神可能存在定理及神的極致性定義去推導出神必然存在定理在S模態邏輯系統的框架下這項結論可謂全然有效因此相當驚人然而若使用相同的邏輯推論去假設極致偉大的存有不存在也同樣沒有任何自相矛盾之處