作者xcycl (XOO)
看板logic
标题Re: [请益] 有没有是自反但不是完全自反的关系?
时间Thu Oct 27 22:54:29 2011
: -------------------------------------------------------------------------
: 我问彭老师，老师的解答是"属於"：
: 「属於」：每个集合或者属於某个集合，或者有个集合属於它，但没有任何集合属於自己
: 坦白说我看不太懂他的回答，同时也想知道有无其他例子，因此来版上请教各位大大
: ＞＜～～感激!!!
题外话：
集合不属於自己这个是 (well-founded) set theory 的公理之一，
Axiom of regularity，并不是不可能建构出合理的集合论下具有 x \in x 性质的集合。
如果是在 finitary non-well-founded set theory 下，
还可以构成一个 universe 还包含他自己。
--
XOO's
http://xcycl.wordpress.com/
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 82.36.121.236