科学家利用数学计算证明神真的存在!

在科学家证明了一位数学家的理论后，他们似乎证明了神的存在。这个理论提出了一个「上帝」的存在。

根据两位科学家的说法，在他们证实了复杂的数学方程式后，他们已经一劳永逸地证明了一个神圣力量的存在。

在大约 1941 年时，数学家 Kurt Gdel创造了一个又长又复杂的理论，建立在模态逻辑( MODAL LOGIC )上，这个理论叫哥德尔本体论证明( Gdels ontological proof )。

此理论预设了正面和负面的属性，并且证明了一个必需的存在，这个存在运用于所有正面属性，不用于负面属性。 Kurt Gdel 的理论建立在非常复杂的数学方程式上，但是历史上许多事物都建立在更古老的「 模型 」上。哥德尔本体论证明是坎特伯雷大主教圣安瑟伦( St. Anselm of Canterbury，1033-1109 )的关于上帝存在的本体论证明( ontological argument )的现代版本。圣安瑟伦是本笃会( Benedictine)僧侣，他从 1093 年开始一直到他去世担任坎特伯雷大主教。

他的理论总结如下：「 定义上，神是我们所能想像得到的最伟大存有。如果这样的存有不存在，意即更伟大的存有是无法被想像的，如果这样的存有存在，那么更伟大的存有是可以被想像的。但是这会不合理： 没有存有可以比无法被想像的更伟大存有更伟大。所以比不伟大伟大的存有是可以被想像的，意即神存在。 」