哥德尔不完备性定理的证明

公理系统中竟然存在「既不能证明,又不能证伪」的命题 ...
发布于 2023-01-09

皮亚诺公理

有人用 379 页纸证明了 1 + 1 = 2。
发布于 2022-12-14

速度增量法

碰撞问题大杀器。
发布于 2022-06-25