Начертательная геометрия ↑
metanymous в посте Metapractice (оригинал в ЖЖ)
--В данной теореме равенства два треугольника можно совместить.
--Для того чтобы теорему можно было доказать манипулятивным совмещением надо описать не очень-то тривиальные "элементарные манипулятивные действия", которые бы в точности соответствовали геометрической аксиоматике. Тогда последовательность таких действий изоморфна логическим выводам из аксиом и является строгим доказательством.
Последовательность таких действий - "совмещения" в первую очередь - описывает так называемая начертательная геометрия.
Без нее, к слову, не начертишь никакой машиностроительный чертеж. Впрочем, сейчас чертежи чертят программы, а люди не способны чертить чертежи или что то же самое выполнять действия/алгоритмы начертательной геометрии.