metamathematical statement

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