Ну. Незначительный вопрос, конечно, но и проясняется он просто и навсегда. Я вот еще про "угм" не спросил :)

---

Избыточная рефлексия это не наш путь.

Ладно в смысле "хорошо", или ладно в смысле "можно и лучше, ну да ладно"? :) Я просто "ладно" во втором смысле часто использую, а словарь говорит, что есть и первый.

Ладно.

Я попозже тогда создам тему "Читаем Лотмана (1)"?

---

--В данной теореме равенства два треугольника можно совместить.

---

--Для того чтобы теорему можно было доказать манипулятивным совмещением надо описать не очень-то тривиальные "элементарные манипулятивные действия", которые бы в точности соответствовали геометрической аксиоматике. Тогда последовательность таких действий изоморфна логическим выводам из аксиом и является строгим доказательством.

---

Последовательность таких действий - "совмещения" в первую очередь - описывает так называемая начертательная геометрия.

---

Без нее, к слову, не начертишь никакой машиностроительный чертеж. Впрочем, сейчас чертежи чертят программы, а люди не способны чертить чертежи или что то же самое выполнять действия/алгоритмы начертательной геометрии.

Да. И степень.

Шестеренки - хороший пример! Кажется, и возведение в степень можно объяснить шестеренками.

Ну да.

Это повторяющиеся движения.