Category:Metalanguages

From ProofWiki
Jump to navigation Jump to search

This category contains results about Metalanguages.
Definitions specific to this category can be found in Definitions/Metalanguages.

A metalanguage is a language, either

formal

or:

natural,

which is used to make statements about another language.

Subcategories

This category has only the following subcategory.

M