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