Аксиомы о отрезках: основные принципы