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.
Метајезици формалних система све реше на крају у природном језику, "заједнички начин говора" у којој математичари и логичари разговарају да дефинишу своје услове и операције и 'прочитају' своје формуле.