Реализация современной роли математики предполагает улучшение математической подготовки учащихся, важное место в котором отводится умению открывать закономерности, обосновывать их и применять на практике. Формирование алгоритмического, эвристического, абстрактного мышления учащихся осуществляется также главным образом в процессе доказательства. Обучение математике предполагает обучение способам деятельности по приобретению знаний, что требует выявления и освоения в процессе обучения математике различных схем используемых в математике рассуждений.  В опытных науках мы постоянно обращаемся к наблюдениям и экспериментам, чтобы проверить те или иные утверждения. Совершенно иначе дело обстоит в математике. Теорема считается доказанной только в том случае, если она логически выведена из других предложений. Поэтому проблема обучения учащихся доказательству всегда являлась одной из центральных в методике преподавания математики.