\begin{definition}[Definition:Metalanguage/Formal Systems]
In the context of formal systems, a '''metalanguage''' is a formal language used to specify another formal language.
Category:Definitions/Formal Systems
\end{definition}