这个"我"比得好:歌德尔牛的地方还在于他的证明是建立在罗素的"非自指"公理系统之上的:)

来源: JSL2023 2024-01-20 08:06:33 [] [旧帖] [给我悄悄话] 本文已被阅读: 次 (63 bytes)
本文内容已被 [ JSL2023 ] 在 2024-01-20 08:48:36 编辑过。如有问题,请报告版主或论坛管理删除.

这大概就是"无门关"比喻的基本道理。

所有跟帖: 

等闲下来,无门关这一课我得补上。 -来罘- 给 来罘 发送悄悄话 来罘 的博客首页 (0 bytes) () 01/20/2024 postreply 10:54:43

请您先登陆,再发跟帖!

发现Adblock插件

如要继续浏览
请支持本站 请务必在本站关闭/移除任何Adblock

关闭Adblock后 请点击

请参考如何关闭Adblock/Adblock plus

安装Adblock plus用户请点击浏览器图标
选择“Disable on www.wenxuecity.com”

安装Adblock用户请点击图标
选择“don't run on pages on this domain”