真のクラス
proper class
小さい集合
でない
クラス