확률 속성 검증: 특정 사례를 통한 공리적 적용성 증명