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