Выпускники современной средней школы слабо владеют понятием и методами доказательства математических, прежде всего геометрических, теорем. Это обусловлено как системой органи-зации изучения геометрии в школе (ЕГЭ, отмена устного экзамена), так и недостаточным уровнем логико-дидактической подготовки будущих учителей математики на уровнях бакалавриата и ма-гистратуры в реформированных классических университетах. В сообщении предлагается усилить роль курса математической логики в системе подготовки будущих учителей математики, в частности, в процессе формирования у них понятия строгого математического доказательства. Прекрасной методической моделью для этого может служить формализованное исчисление высказываний. Показывается, что доказательства теорем школьного курса геометрии полностью укладываются в концепцию строгого математического доказательства, предлагаемую формализованным исчислением высказываний.
