İspat biçimi

Пояснение к этому термину пока не опубликовано на русском языке.