Однако школьная геометрия:
1. Учит рассуждать строго и логически, формулировать цепочки логических заключений, различать обоснованные и необоснованные утверждения, опираться на аксиомы и теоремы, понимать условия и утверждения теорем, различать общие и частные факты, и так далее.
Не смог промолчать. Геометрия Эвклида учит противоположному, то есть полагаться на картинки, потому что аксиом Эвклида недостаточно. Вместо неё можно взять геометрию Гильберта, но для тренировки логического мышления можно выбрать разделы попроще вроде теории чисел, теории графов, комбинаторики, теории автоматов, чтобы сложность математических фактов не мешала овладевать собственно мышлением.
Я думаю, убеждение, что геометрия Эвклида подходит для тренировки логического мышления, сложилась исторически. Геометрия Эвклида входила в фундамент математики от появления доказательств до эпохи Ферма и Декарта, и даже после этого математики часто писали на геометрическом языке. Когда столько поколений выращено на книгах Эвклида, трудно изменить эту привычку.