Геометрия теоремы и аксиомы

ли фигура Ф равна фигуре Ф1, то фигура Ф1 равна фигуре Ф.
2. 7. Если фигура Ф1 равна фигуре Ф2, а фигура Ф2равна фигуре Ф3, то фигура Ф1 равна фигуре Ф3.
3. Аксиомы измерения отрезков.
3. 1. При выбранной единице измерения отрезков длина каждого отрезка выражается положительным числом.
3. 2. При выбранной единице измерения отрезков для любого положительного числа существует отрезок, длина которого выражается этим числом.
4. Аксиома параллельных.
4. 1. В любой плоскости через точку, не лежащую на данной прямой этой плоскости, проходит только одна прямая, параллельная данной.
В школьном учебнике геометрии И. М. Смирновой, В. А. Смирнова 6 основными геометрическими фигурами считаются точки, прямыеи плоскости. Первые аксиомы относятся к понятию принадлежности.
1. Через любые две точки проходит единственная прямая.
2. Для любой прямой существуют точки, принадлежащие этой прямой и точки, ей не принадлежащие.
Одним из основных отношений взаимного расположения точек на прямой является отношение лежать между. Точки на прямой могут лежать между двумя данными точками на этой прямой или не лежать между ними. Если точка О лежит между точками А и В, то в этом случае говорят также, что точки А и В лежат на прямой по разные стороны от точки О. В противном случае говорят, что точки А и В лежат на прямой по одну сторону от точки О.
В качестве аксиом взаимного расположения точек на прямой принимаются следующие свойства.
3. Из трех точек на прямой только одна лежит между двумя другими.
4. Каждая точка на прямой разбивает эту прямую на две части так, что точки из разных частей лежат по разные стороны от данной точки, а точки из одной части лежат по одну сторону от данной точки.
Часть прямой, состоящая из двух данных