直线真是由点组成的吗？那岂不是说无限个零相加大于零？

点要变成线的时候你就要考虑到点的长度了……
无数是个很有意思的东西，比如1/3是0.3循环，3倍就是0.9循环，0.9循环和1是斗尺银相等的，你可以认为他们的差距就是0，但是当无数出现的时候这个0就可以变成无穷大。所有数困早乘以0都等于0，所有数乘以无穷都等于无空宴穷，0乘以无穷是多少？可以是0，也可以是无穷，因为理论上没法相乘。

点的长度应该是趋近0的

您的逻辑正确，问的好！
线真的不是最小的零点与零点组成的，而是正线点与正线点集合成的。
由于零点是零长度，所以线段上的无限个零点与零点之和依然是零长度。而线段的长短是靠零点与零点之间存在着无限无穷短的正线点（无限无穷短的单位长）集合成的。
在《正负几何论》里，点大致分为两类：一类是三种无形点，另一类是六种有形点；共有九种 。无形点包括：正零点、负零点和零点。因为任一个无形点都肢早是以三度（体积和容积、面积和空积、长度和距离）为零的一个看不见的无形定位，所以称它们为无形点。
有形点包括：正体点、负体点、正面点、负面点、正线点和负线点。（也就是能够看得见的一维空间、二维空间和三维空间）。
人们常说：“点与点构成线、线与线构成面、面与面构成体”。反过来说：也就是点与点三维排列集合构成体、二维排列集合构成面、一维排列集合构成线。这种说源正法也对也不对。问题要看你究竟采用了：什么点来集合成线、什么点来集合成面、什么点来集合成体。
由于无形点与无形点：在一维空间是零加零(依然等于零长度或零距离) 构不成线的；在二维空间是零乘零(依然等于零面积或零空积) 也无法构成面；在三维空间是零乘零再乘零(依然等于零体积或零容积) 就更难构成体了。也就是在数理逻辑中：0+0=0长度(距离). 0×0=0面积(空积). 0×0×0=0体积(容积).。所以像这种缺少已知空间条件的无形点怎能构成：线、面和体呢？
无限无穷小的正体它的体积不为零的一个点叫做正体点；无限无穷小的负体它的容积不为零的一个点叫做负体点。
无限无穷小的正面它的面积不为零的一个点叫做正面点；无限无穷小的负面它的空积不为零的一个点叫做负面点。
无限无穷短的正线它的长度不为零的一个点叫做正线点；无限无穷短的负线它的距离不为零的一个点雹饥悔叫做负线点。
体：是正体点与正体点集合构成了一个正体；负体点与负体点集合构成了一个负体。
面：是正面点与正面点集合构成了一个正面；负面点与负面点集合构成了一个负面。
线：是正线点与正线点集合构成了一条正线；负线点与负线点集合构成了一条负线。
注意：在这里千万不要把有形点进入微观领域就误认为是无形点。因为体、面、线的无限无穷小(永久大于零)不等于零，所以有形点不等于无形点。