19.4 가능세계의 형식적 정의