9.5 기호 조작의 수학적 기초와 연산 모델