石凳兄不妨钻研下逻辑大师哥德而的本体论证明

通俗说哥德尔对上帝存在的模态逻辑证明。划时代的哥德尔不完备定理揭示了人类数理逻辑的不完备，也就是人的认知有根本性不完备的缺陷，让他几与爱因斯坦齐名，他俩也确实是普林斯顿校园的好友。他的本体论证明也不是玩笑。我没好好研究过，一来不熟悉那些抽象模式逻辑的符号，二来也没觉得必须去花这个时间。看石凳兄似乎最近比较苦恼，建议不妨一试。

我极其初浅的理解是这样(别太当真，读原文):

上帝这个概念存在 - 即至全至能的概念 (事实，我是说概念而已);

上帝可能存在(否则不必辩论了);

那么这个可能存在的上帝具有所有积极正向的特性(推理);

必然存在是个积极正向的特性(公认);

所以可能存在的上帝具有必然存在的特性;

所以上帝必然存在。

当然，这个上帝不必是基督教刻画的上帝。