Описание языка логики предикатов
Язык, выступающий средством построения или изучения другого языка, называют метаязыком , основной — языком-объектом. Метаязык , как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.