※ 引述《Jer1983 (stanley)》之銘言： : 在 Russell's paradox 中有討論到一種集合: 有些集合本身可以包含自己 : 比如所有概念的集合本身也是個概念，因此它包含自己。但這種的集合似乎 : 不多，我想問還有哪些例子可以幫助釐清這個概念，謝謝。 我本身對Russell's paradox沒有太深入的研究, 只能就我印象所及來回答。 說「所有概念的集合本身也是個概念」然後再推到「它包含自己」, 這裡有點跳步, 在「它包含自己」這裡應該是指這個集合屬於它自己, 而要從它是一個概念到它是一個集合, 你大概會需要某種abstraction axiom, 告訴你說, 對應於任何一個概念, 都有一個集合, 其元素正好是滿足這概念的東西。 而你要的例子可能是一些比較一般一點的應用, 像是任何具有self application性質的東西都可以適著構造類似的東西, 如: the concept that applies to all concepts, the set that contains all sets, 甚至 the number that is bigger than all numbers, 也有類以的性質。 或 the space that contains all spaces, 或 the possible world that contains all possible worlds (D. Lewis有討論過) 等等 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 81.107.37.196