신고 대상: 큰 기수 공리 (r1)

신고 사유