S不是良定义的,否则S∈S和S!∈S必有一个成立(手机的不出不属于,凑合一下)
如果S∈S,那么命题S!∈S不成立,所以根据S的定义有S!∈S,矛盾。
如果S!∈S,根据定义S∈S矛盾。
这个事情告诉我们一个道理。依靠概括构造集合是不靠谱的