metamathematical notion

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