talk:>>44 小さい集合すべてを含む類の存在を仮定するということ。