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