Re: [請益] 有沒有是自反但不是完全自反的關係?
: -------------------------------------------------------------------------
: 我問彭老師，老師的解答是"屬於"：
: 「屬於」：每個集合或者屬於某個集合，或者有個集合屬於它，但沒有任何集合屬於自己
: 坦白說我看不太懂他的回答，同時也想知道有無其他例子，因此來版上請教各位大大
: ＞＜～～感激!!!
題外話：
集合不屬於自己這個是 (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
討論串 (同標題文章)