すべてのクラスからなる集合がどうたらこうたら、という命題のことかな(笑