Основы и значение теории доказательств: Краткий обзор