ラッセルのパラドックス
という集合があった場合 とおくとラッセルのパラドックスにおける矛盾が発生しなくなる。