> I don’t see how you can rigorously define the line without A and B That line segment isn’t defined, it’s postulated (“there somehow is a line segment with en

> I don’t see how you can rigorously define the line without A and B That line segment isn’t defined, it’s postulated (“there somehow is a line segment with endpoints A and B; you needn’t care how it came about”)