финитное доказательство

Мат. finitary proof