Доказательство под микроскопом

В статье обсуждаются вопросы: что такое математическое доказательство и как оно устроено (какова его логическая структура)? Вводится на интуитивном уровне понятие математического доказательства в виде дерева. Выявлены преимущества подхода к уточнению понятия доказательства в виде дерева по сравнению с традиционным линейным доказательством.