哪位高人帮忙讲讲这个（逻辑中的超难题）

29号

请大家看看这个数学界的天才，哥德尔先生关于上帝存在的逻辑证明，我看不懂啊，这个是非常有名的，很多科学家都在研究它。

公理1. （二分性）一个性质是肯定的当且仅当它的否定是否定的。

公理2. （闭包性）一个性质是肯定的，如果它必然包含一个肯定性质。

定理1. 一个肯定性质是逻辑上一致的（也就是它可能有某个实例）。

定义.  某个东西是类上帝的当且仅当它具备所有的肯定性质。

公理3. 是类上帝的是一个肯定性质。

公理4. 是一个肯定性质（是逻辑的，因而）是必然的。

定义.  性质p是x的本质当且仅当x具备p并且p必然是极小的。

定理2. 如果x是类上帝的，那么是类上帝的是x的本质。

定义.  NE（x）：x必然存在，如果它具备一个本质的性质。

公理5. 是NE是类上帝的。

定理3. 必然有某个x，x是类上帝的。

我也自学过形式逻辑，但还是不能理解这样的理论。莫非上帝真的存在？

随魂梦飞

我对这个不了解 等秀气回来的吧 他人老 是辣的

霁月

什么呀，看都看不懂！

霜ˊ夜瞳

真的 看不懂...

红叶

不知道上帝是否存在过　或许只不过是另一个种族　
回答你的问题　类上帝的存在　就是耶酥那鸟人

29号

红叶阿。。。你的答案总是。。。那么搞笑   阿馨怎么不猜猜那个巧妙的杀人案件阿，你要是猜出来，我就把29的所有意思都告诉你

♀飘♀

你发错版块了.

Genius

感觉是自己说出话然后理由就是自己这句话是对的，只是用另一中形式肯定自己的话

夏梦缘

完全看不懂，晕死我了！