Сформулируйте аксиомы об измерения отрезков

Теор.
Каждый отрезок имеет опр. длину,большую нуля.Длина отрезка равна сумме длин частей,на которые он разбивается любой его точкой.
Формула
AC=AB+BC