哥德爾本體論形式邏輯證明最粗疏的文字概括（對錯不負責任）

定義上帝為最美好特性的全集。

設定一個特性為：一個美好特性之現實存在。

則該特性的補集為: 這個美好特性之現實不存在。

該特性一定比該特性的補集更完美（因為美好之存在當然比美好之不存在更完美）。

因為它們互為補集，所以該特性最完美（因為沒有第三元素 - 既存在又不存在）。

所以，一個最完美特性必然是存在的。

所以上帝這個全集裏的每個特性都是存在的。

所以上帝是存在的。