看上去十分简单。

需要出神入化的同构技巧。

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

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