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

應該不是。這個後來集合論引入一階邏輯變成公理化集合論就解了我記得當時看到的敘述是 幾何派批評數派製造一堆黑盒子(不證自明的公理)，數派護航說至少在這範圍內集合論絕對正確，最後被集合論自己推導出的集合論外有東西打死

所以你說的是公理化集合論遇到的問題?

就只記得情節捏 不然你看小說看看

好ㄅ 我再找看看