※ 引述《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