신고 대상: 모스-켈리 집합론 (r1)

신고 사유