>>284
ならx∈xとなれば無限降下列ができて集合じゃ無いからでお仕舞いでは?