13.8.1 자동 검증 불가능 영역의 정의와 인간 오라클의 역할