※ 引述《qqq3892005 (神野诗祈オルタ)》之铭言：
: 我以前看人家在讨论数学演进
: 说两大分支 数 与 几何
: 无限的存在有无
: 数派的基石就是集合论
: 而集合论的一种运用就是逻辑
: 集合论本身甚至可以在不知道什么东西能超越集合论的情况下 就证明有东西在集合论之外
: 我觉得这真的满屌的
: 虽然我还是不懂
: 总之结论是
: 集合论(逻辑)本身已经证明了集合论是不完备的、有例外的
: 但至今还没人知道那个例外是什么
: 大概人类一辈子也不可能遇到那种例外
就是理发师悖论吧
如果有一个集合x 它包含所有"不包含自己"的集合
那x包不包含x?
如果有一个理发师 它替所有不帮自己剪头发的人剪头发
那他该不该帮自己剪头发?