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