Tips无名氏No.9999999

2099-01-01 00:00:01 ID: Tips

( `д´)就不能学学动画版的萌豚，多看看动画片

无标题无名氏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 之类的