超小小中大超大

哥德尔对上帝存在的本体论证明 (4-4)

好书推荐：师尊：徒弟别乱来、我在末世世界开超市、冬华录、穿越兽世做大厨、异世界图书馆、沅世无忧，结雨凝之……、炮灰自救指南、灵契：阴冥司、蝶翊夜舞、私家侦探二三事、

所以根据定义，□∀y(G(y) → (j＝j∧p))) 成立. 由于已证在每个可能世界"类上帝的"都存在实例, 所以在每个可能世界, j＝j∧p 都成立, 即 □(j＝j∧p) , 通过模态命题逻辑的推理, 可得 □p.

更感兴趣的同学可以读一下Anderson的原文, 里面还评价了不少关于该证明的别的方面.

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。

相关小说

连载中

连载中

快穿：原罪美人: 橙子与小鹿; 世人最爱看的是神的坠落，神台坍塌，高台尽断。高悬明月，跌落泥泞，被七情六欲拖进众生的苦里，月华不在，尘埃尽染，最后九劫八难的火焰一烧，烟灭灰......; 6.9万字4周前

连载中

神女系统：各位男神宠上天: 浅笑微妆; 妄忧阁（D.S文社）（每日更新）有一天陈星觅在去学校的路上，被一个不知名的物体砸中，送到了医院，而医生却解释不清到底为什么，视频中也未看见有......; 25.3万字4周前

连载中

木兰歌: 冰心幽兰; 花木兰百年之后飞升仙界，感慨生前杀孽太重，想要行善弥补。恰好她以前战死的战友们也飞升仙界，成了天兵天将之一。不过，他们身上和灵魂上多多少少还......; 12.2万字4周前

连载中

羡无一芳: 梓无君; “男子和男子怎可在一起？”“那我们可以破这个咧啊！”“不可以的，不可以的，你懂吗？这样只会让世人唾骂的”“那又如何？只要我们相爱，反了天下又......; 10.2万字4周前

连载中

伊布家族——无法驱散的黑暗: 冰伊布的蓝宝石; 这是一个只有伊布的世界，没有其他宝可梦，也没有人类。在这个世界里有一只叫暗影的闪光月亮伊布痛受折磨……直到，一只叫日照的闪光太阳伊布出现帮助......; 3.2万字4周前