25.3 추론적 적합성(Inferential Adequacy)의 정의와 계산 가능성 조건