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