在科学家证明了一位数学家的理论后，他们似乎证明了神的存在。这个理论提出了一个“上帝”的存在。
根据两位科学家的说法，在他们证实了复杂的数学方程式后，他们已经一劳永逸地证明了一个神圣力量的存在。
在大约 1941 年时，数学家库尔特·哥德尔(Kurt Gödel)创造了一个又长又复杂的理论，建立在模态逻辑(MODAL LOGIC)上，这个理论叫哥德尔本体论证明(哥德尔’s ontological proof)。
此理论默认了正面和负面的属性，并且证明了一个必需的存在，这个存在运用于所有正面属性，不用于负面属性。 库尔特·哥德尔 的理论建立在非常复杂的数学方程式上，但是历史上许多事物都建立在更古老的“ 模型 ”上。哥德尔本体论证明是坎特伯雷大主教圣安瑟伦(St. Anselm of Canterbury，1033-1109)的关于上帝存在的本体论证明(ontological argument)的现代版本。圣安瑟伦是本笃会(Benedictine)修道士，他从1093年开始一直到他去世担任坎特伯雷大主教。
他的理论总结如下：“ 定义上，神是我们所能想像得到的最伟大存有。如果这样的存有不存在，意即更伟大的存有是无法被想像的，如果这样的存有存在，那么更伟大的存有是可以被想像的。但是这会不合理： 没有存有可以比无法被想像的更伟大存有更伟大。所以比不伟大伟大的存有是可以被想像的，意即神存在。 ”
这个理论的本质是，没有比神更伟大的力量能被想像，如果他 / 她被相信是一个概念，那么他 / 她就存在于现实。
许多论证，例如上述所写的，是建立在指定“ 神 ”的概念是极大性上。 库尔特·哥德尔 的论证，在另一方面，试图用短小的论述，如此一来它就聚焦在正面属性的“ 本质 ”上，正面属性象征的就是“ 神 ”。
1990 年 Anderson 对 库尔特·哥德尔 的本体论论证的说明：
定义 1： x 是“ 像神特性 ”，若且唯若 x 的本质仅为正属性。
定义 2： A 是 x 的本质，若且唯若所有属性 B ， x 一定有 B，若且唯若 A 需要 B。
定义 3： x 必须存在，若且唯若所有 x 的本质是必须例证。
公理 1： 如果一个属性为正，那它的否定不为正。
公理 2： 任何被需要的属性，意即被完全默许：一个正属性是正属性。
公理 3： 像神的属性是正属性。
公理 4： 如果一个属性为正，那它一定是正属性。
公理 5： 必需的存在是正属性。
公理 6： 对任何属性 P，如果 P 是正属性，那 P 一定是正属性。
定理 1： 如果一个属性为正，那它是一致的，意即可能例证。
系理 1：像神的属性是一致的。
定理 2： 如果某物是像神的，那像神的属性是那个某物的本质。
定理 3: 像神的属性必须是例证。
两位计算机科学家或许已经证明了如此复杂的方程式，颂歌一定会响起，神是真的。
那两位计算机科学家表示，他们并不打算尝试直接证明，或是反驳神的存在，而只是想展现他们电脑的威力。来自柏林自由大学的 Christoph Benzmüller，与维也纳技术大学的 Bruno Woltzenlogel Paleo 一起演算了这个算式。他说：“ 这实在太惊人了， 库尔特·哥德尔 的论证可以在几秒内自动证明出来，如果用标准笔电所需的时间可以更短。我不知道这会引起这么大的公众兴趣，但是哥德尔本体论证明绝对是一个比较好的例子，比那些用数学或人工智能都难接以接近的好多了。 它非常的简短、爽快，因为我们只需在一个短小的定理里和六个公理打交道。或许会有其他事物使用相似的逻辑。”
最终，哥德尔本体论证明的形式体系化似乎没有赢得无神论者的心，似乎也不能安慰真正的信者们。
