Структура доказательств: теоретический обзор