Аксиомы планиметрии

Аксиомы планиметрии
1. принадлежности(2)
2. порядка(3)
3. измерения отрезков(2)
измерения углов(2)
4. Отложения углов(2)
5. параллельности(1)

Какова бы не была прямая, есть точки, принадлежащие и не принадлежащие ей.
Через любые две точки можно провести прямую, причём только одну.

Из трёх точек на прямой одна и только одна лежит между двумя другими.
Точка, лежащая на прямой, делит эту прямую на две полупрямые.
Прямая разбивает плоскость на две полуплоскости.

Каждый отрезок имеет определённую длину, большую нуля.
Если точка, принадлежащая отрезку, лежит между его концами, то длина данного отрезка равна сумме длин образовавшихся отрезков.

3. Каждый угол имеет определённую градусную меру, большую нуля.
4. Если луч исходит из вершины угла и проходит между его сторонами, тогда данный угол равен сумме образовавшихся углов.

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

Через точку, лежащую вне данной прямой на плоскости, можно провести одну и только одну прямую, параллельную данной прямой.