メタ言語
メタ言語(メタげんご、英: Metalanguage)とは、何らかの言語について論じる際に、その対象となる言語(単に対象言語などと表現される)と区別する形で記述する側の言語を指す用語である(ここで指す言語は自然言語であることも形式言語であることも有り得る)。
しばしばメタ言語は対象言語と同じものが使われる(日本語で日本語を論じたり、集合論の言語で集合論を論じるなど)が、これらの区別が曖昧であった場合、とくに論理学や意味論において矛盾を生じることがある。