Аксиома 4. Выбрав единицу измерения, можно измерить любой отрезок, то есть выразить его длину некоторым положительным числом.
Аксиома 5. При выбранной единице измерения отрезков для любого положительного числа существует отрезок, длина которого выражается этим числом.
