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