※ 引述《qqq3892005 (神野詩祈オルタ)》之銘言：
: 我以前看人家在討論數學演進
: 說兩大分支 數 與 幾何
: 無限的存在有無
: 數派的基石就是集合論
: 而集合論的一種運用就是邏輯
: 集合論本身甚至可以在不知道什麼東西能超越集合論的情況下 就證明有東西在集合論之外
: 我覺得這真的滿屌的
: 雖然我還是不懂
: 總之結論是
: 集合論(邏輯)本身已經證明了集合論是不完備的、有例外的
: 但至今還沒人知道那個例外是什麼
: 大概人類一輩子也不可能遇到那種例外
就是理髮師悖論吧
如果有一個集合x 它包含所有"不包含自己"的集合
那x包不包含x?
如果有一個理髮師 它替所有不幫自己剪頭髮的人剪頭髮
那他該不該幫自己剪頭髮?