metamathematical expression

Мат. метаматематическое выражение