Exampleswith 정식화.이 연구는 새로운 이론의 정식화를 목표로 한다.i yeonguneun saeroun ilheonui jeongsikhwareul mokpyo-ro handa.This research aims for the formalization of a new theory.