Metalanguage

имя существительное [лингвистика] метаязык

Большой англо-русский словарь

Metalanguage

метаязык

Англо-русский научно-технический словарь

Metalanguage

метаязык

Англо-русский политехнический словарь

Metalanguage

noun a language used to talk about language

Merriam-Webster's Collegiate Dictionary

Metalanguage

1. [theorem proving] A language in which proofs are manipulated and tactics are programmed, as opposed to the logic itself (the "object language"). The first ML was the metalanguage for the Edinburgh LCF proof assistant. 2. [logic] A language in which to discuss the truth of statements in another language.

Free Online Dictionary of Computing