메타언어에서 표현된 참의 정의는 도식 W에서 얻어내는 모든 문장들이 그 정의에서 나올 경우에 실질적으로 적합하다.
The definition of true expressed in meta-language is practically appropriate when all the sentences obtained from Schema W come from that definition.