신고 대상: 데데킨트 무한집합 (r1)

신고 사유