关于上帝存在的数学证明

1970年哥德尔关于上帝存在的数学证明在同事间广泛传阅。

这个不到一页纸的证明引起了轩然大波。

哥德尔所做的数学证明如下：
公理1（二分法）：一个性质是肯定的当且仅当它的否定是否定的。

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

定理1：一个肯定性质的逻辑上是一致的（可能有某个特例）
定义1：某物是类上帝的当且仅当它具备所有的肯定性质。

公理3：“是类上帝的”是一个肯定性质。

公理4：一个肯定性质是必然肯定的。

定义2：当且仅当x拥有特征P并且特征P必然是最基本的性质时，那么特征P即为x的本质。

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

定义3：x必然存在，如果x的本质不必然有某个实例。

公理5:“是必然存在”是肯定的。

定理3：必然有某个x,x 是类上帝的。

你是如何评判这样一个抽象的证明呢？到底有多少人能读懂它？
这个证明是深思熟虑的结果还是疯子的胡言乱语？
注：哥德尔（1906——1978），严谨的数学家，杰出的奥地利数学家，也是20世纪最为优秀的逻辑学家之一，他的不完备定理不仅应用于数学，而且在计算机，经济学以及自然科学等领域都影响深远。

1930年起执教于维也纳大学。

1940年
他移居美国，加入新泽西州的普林斯顿高等研究所。

在普林斯顿他与爱因斯坦成为最好的朋友。