公理系统中竟然存在「既不能证明，又不能证伪」的命题 ...

有人用 379 页纸证明了 1 + 1 = 2。