25.9 프레임 공리(Frame Axiom)의 정의와 불변 속성의 명시적 기술