这就要求 $l\mathop{//}l$，

而直线相交定义为有且只有一个公共点

这则另外需要对于直线的定义

所以如何了解这种严谨的几何？