신고 대상: 뢰벤하임-스콜렘 정리 (r1)

신고 사유