Any language that one uses to talk about a formal system is called a metalanguage.
Секој јазик кој се користи за разгледување на еден формален систем се нарекува метајазик.