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

应该不是。这个后来集合论引入一阶逻辑变成公理化集合论就解了我记得当时看到的叙述是 几何派批评数派制造一堆黑盒子(不证自明的公理)，数派护航说至少在这范围内集合论绝对正确，最后被集合论自己推导出的集合论外有东西打死

所以你说的是公理化集合论遇到的问题?

就只记得情节捏 不然你看小说看看

好ㄅ 我再找看看