신고 대상: 합집합 공리 (r2)

신고 사유