Об'єктна мова й метамова

парні категорії на позначення складників структурної будови формалізованих мов сучасної логіки, що позначають: 1) мову, що описує певну позамовну дійсність (об’єктна, мова-об’єкт); 2) мову, засобами якої описуються і досліджуються властивості й відношення об'єктної мови (метамова)