良いか、という点は、即断できない。概念が提示されていなければならない。なるか、という照合規則が提示されていなければならない。氏の考えかたを前提にしている)。概念----事実と対応して判断する。構成のなかで判断する。言語は、対象言語の意味論をふくむ高階の言語である。言語のなかの構文論と同じ扱いとなる。言語のなかで、構文論として扱われる。概念を示していて、指示規則が照合規則になっている、という点である。なかに実装しない、とする。