Definition:Metalanguage/Formal Systems

Definition
In the context of formal systems, a metalanguage is a formal language used to specify another formal language.