Definition:Metalanguage/Formal Systems

From ProofWiki
Jump to navigation Jump to search

Definition

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