写作绅士,读作丧尸 X岛揭示板
 首页版规 |用户系统 |移动客户端下载 | 丧尸路标 | | 常用图串及路标 | 请关注 公众号:【矛盾苇草】| 人,是会思考的芦苇
常用串:·豆知识·跑团板聊天室·公告汇总串·X岛路标

No.62443371 - 无标题 - 科学


回应模式
No.62443371
名 称
E-mail
标题
颜文字
正文
附加图片
•涵盖各类科学的讨论板块
•可盖棺定论各热门事件/关注后续/谣言粉碎
•干货什么的最喜欢了!
•请注意发言所包含的信息量,信息量过低的内容将移回综一
•引用请注明出处,民科、伪科学退散

无标题 无名氏 2024-05-19(日)16:09:58 ID:mCBR780 [举报] [订阅] [只看PO] No.62443371 [回应] 管理
为什么世界上会有连续统假设,这种在ZFC公理系统内无法证明真假的数学命题?
无标题 无名氏 2024-09-26(四)17:34:49 ID:js3OL9u [举报] No.63896066 管理
因为哥德尔不完备性定理,至于“为什么”存在,存在即合理
无标题 无名氏 2024-09-30(一)10:28:45 ID:rUQKEOv [举报] No.63931608 管理
有一种说法:ZFC 能提供的东西太少了。

譬如命题 (x = 0),一般来说你无法判断对错,因为不知道 x 是多少。
无标题 无名氏 2024-09-30(一)10:29:44 ID:rUQKEOv [举报] No.63931616 管理
或者这么说,ZFC 不是全部。既然能发明这套体系,当然还可以发明别的体系,譬如 NBG 之类的

UP主: