Каковы основные принципы геометрии, связанные с отрезками и точками на одной прямой?

Некоторые основные принципы геометрии, связанные с отрезками и точками на одной прямой:

• Аксиома принадлежности. 1 Какова бы ни была прямая, существуют точки, принадлежащие ей и не принадлежащие ей. 1
• Аксиома расположения. 1 Из трёх точек на прямой одна и только одна лежит между двумя другими. 12
• Аксиома измерения. 1 Каждый отрезок имеет определённую длину, большую нуля. 1 Длина отрезка равна сумме длин частей, на которые он разбивается любой его точкой. 12
• Свойство откладывания отрезков. 2 На любой полупрямой от её начальной точки можно отложить отрезок заданной длины, и только один. 2
• Свойство пересечения отрезков. 3 Отрезки могут не пересекаться, но если это происходит, то происходит пересечение непременно только в одной точке. 3