Topic summary
Metalanguages
Extracted from the Wikipedia article Metalanguage.
In natural language
Metalanguages of formal systems all resolve ultimately to natural language, the 'common parlance' in which mathematicians and logicians converse to define their terms and operations and 'read out' their formulae.