Exampleswith 공식화.이론의 공식화는 중요한 단계입니다.ironui gongsikhwaneun jungyohan dangyeimnida.The formalization of the theory is an important step.