В данной статье проиллюстрированы уникальные возможности созданной автором программы DC Proof , которая обучает логике и методам доказательства учеников средней школы разных уровней подготовки. 1 В статье также показано, что при изучении методов доказательств подход, основанный на формальной логике и теории множеств, имеет преимущество по сравнению с традиционным геометрическим подходом. Перевод с англ. М.И. Юдовина.