集合の集合を考えると矛盾が生じるとのことですが
集合族を考えるのは大丈夫なのでしょうか?