Как бы это обсуждение во Флейм перенести !?
Но под метрикой я понимал метрику пространства т.е. теорема Пифагора для евклидового пространства, в смысле - длина вектора равна корню квадратному из суммы квадратов координат.
Зачем плодить сущности сверх необходимого? Развернутый угол - не следствие прямой, а следствие метрики такое, что это верхний предел меньшего угла образуемого 3-я точками, без учета периодичности поворота (направления). Следствием этого является то, что движение по прямой есть движение с сохранением направления.
И мои утверждения справедливы для пространства с любой размерностью, а не только на плоскости.
А в вашей ссылке - немного упрощенное описание Евклидовой геометрии, и почему-то эти аксиомы я в школе изучал как теоремы (т.е. утверждения имеющие доказательства)
