metamathematical variable

Мат. метаматематическая переменная