noun
metalanguage
Technical term in linguistics and logic for a language used to describe or analyze another language. Often contrasted with 対象言語 (object language).
See also: メタ言語
In linguistics, metalanguage is used to describe grammatical rules.
論理学の高次言語は、命題の真偽を論じるために用いられる。
The metalanguage of logic is used to discuss the truth or falsity of propositions.