无标题无名氏No.62443371 只看PO
2024-05-19(日)16:09:58 ID:mCBR780 回应
为什么世界上会有连续统假设,这种在ZFC公理系统内无法证明真假的数学命题?
无标题无名氏No.63896066
2024-09-26(四)17:34:49 ID: js3OL9u
因为哥德尔不完备性定理,至于“为什么”存在,存在即合理
无标题无名氏No.63931608
2024-09-30(一)10:28:45 ID: rUQKEOv
有一种说法:ZFC 能提供的东西太少了。 譬如命题 (x = 0),一般来说你无法判断对错,因为不知道 x 是多少。
无标题无名氏No.63931616
2024-09-30(一)10:29:44 ID: rUQKEOv
或者这么说,ZFC 不是全部。既然能发明这套体系,当然还可以发明别的体系,譬如 NBG 之类的