모형이론 강제법 같은거 공부하려면 테크가 어케됨? 수학 잘아는 사람들도 이쪽계열은 잘 모르더라