9.7 물리적 기호 체계 가설의 명제와 공리적 구조