>>347
>明示的に排除してないならば変項にラッセル集合を指定する事で矛

明示的に集合と認めてないなら「矛盾が発生した、ゆえにこれは集合ではない」で終了