通俗说哥德尔对上帝存在的模态逻辑证明。划时代的哥德尔不完备定理揭示了人类数理逻辑的不完备,也就是人的认知有根本性不完备的缺陷,让他几与爱因斯坦齐名,他俩也确实是普林斯顿校园的好友。他的本体论证明也不是玩笑。我没好好研究过,一来不熟悉那些抽象模式逻辑的符号,二来也没觉得必须去花这个时间。看石凳兄似乎最近比较苦恼,建议不妨一试。
我极其初浅的理解是这样(别太当真,读原文):
上帝这个概念存在 - 即至全至能的概念 (事实,我是说概念而已);
上帝可能存在(否则不必辩论了);
那么这个可能存在的上帝具有所有积极正向的特性(推理);
必然存在是个积极正向的特性(公认);
所以可能存在的上帝具有必然存在的特性;
所以上帝必然存在。
当然,这个上帝不必是基督教刻画的上帝。