metamathematical argument

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