Математическая точность: Аксиома параллельности прямых