こいつラッセル馬鹿のくせにWikipediaの「ラッセルのパラドックス」も見たことないんだろうか？
「矛盾の解消」のとこに、素朴集合論における内包公理を破棄して分出公理を置くってことがわりと明確に書いてあるじゃんね。
意地でもWikipediaは見ない派なのかな？