关于数学几何的“线段”不可能分割(划分)为“无限多”的无穷小“线量”的另一证明:
如果“线段”能够分割(划分)为“无限多”的无穷小“线量”,那么这无穷小“线量”,彼此应该相等。如果不能相等,则各“线量”有大小,故有些“线量”必然表现为既不是无穷小“线量”,也不能分离为无穷小“线量”,所以“线段”也决不可能是由“无限多”的无穷小“线量”所组成(也不可能是由无限多的无穷小“线量”、有穷小“线量”杂合组成,假若是,那其所含的 “有穷小线量”是无限还是有限多的?若是无限多,则其组成大于任何的“线段”,故只能是有限多;又因其所含的“无穷小”线量也只能为有限多(无限多状况已被排除),所以两者决不可能组成无限多的“线量”),只能是由“有限多”的“线量”所组成。
而数学几何“不可公度线段”的发现,表明任何的“线段”内部,必可以找到组成该“线段”的许多“线量”间存在“不可公度”的现象,这证明了“线段”是由无限多“彼此相等的无限小线量”所组成的非存在性(因为“线段”若确是由无限多“彼此相等的无限小线量”所组成,我们则必找不到组成该“线段”的“线量”间存在“不可公度”的现象)。
所以,“线段”不可能分割(划分)为“无限多”的无限小“线量”!
所以,有限的空间广延,也不可能无限的分割(划分)为无穷的“无限小”空间广延。