신고 대상: 페아노 공리계 (r2)

신고 사유