metamathematical consequence

Мат. метаматематическое следствие