- логико-математический язык, используемый для формулировки метатеории. В более широком смысле, М.- неформализованный язык, на к-ром формулируются утверждения метаматематики.
А. Г. Драгалин.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.