Определение аксиомы прямых