メタ言語

メタ言語 とは、何らかの言語について論じる際に、その対象となる言語（単に対象言語などと表現される）と区別する形で記述する側の言語を指す用語である（ここで指す言語は自然言語であることも形式言語であることも有り得る）。