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