신고 대상: 집합론에서 쾨니그의 정리 (r1)

신고 사유