포멧 정리 & 문법 검사 항목 추가