Definition:Metalanguage/Metasyntax

From ProofWiki
Jump to navigation Jump to search

Definition

The syntax of a metalanguage is called a metasyntax of the object language of that metalanguage.


Note that it is a metasyntax, as a given object language may have multiple metalanguages to define it.


Also defined as

In some contexts, the metalanguage itself is referred to as a metasyntax.