Формальная оценка доказательств: Теоретические аспекты