From ProofWiki
Jump to navigation Jump to search


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.