Belette ponders how we could show how Aristotle's argument that the continuum can't be composed of indivisibles is wrong. For reference, the argument is in Physics book 6 at 231 a2. Thomas Aquinas' discussion of it is in his lectures on Physics 6, lecture 1 n2.
Aristotle says that two thing are 'continuous' if their extremities are one, 'in contact' if the extremities are together, and 'in succession' if there is nothing of their own kind in between them. An 'indivisible' is that which has no parts.
Thus a continuum cannot be composed of indivisibles. For such indivisibles are either continuous, or in contact, or in succession. Not continuous, for no point can have separate extremities. Not in contact, for one thing can be in contact with another only if whole is in contact with whole or part with part or part with whole. But since indivisibles have no parts, they must be in contact with one another as whole with whole. And if they are in contact with one another as whole with whole, they will not be continuous: for what is continuous has distinct parts: and these parts into which it is divisible are spatially separate. Not in succession, for things are in succession if there is nothing of their own kind intermediate between them. But there is always a line between two points. And (supplementing his argument) a line is either composed of points, in which case the points are not in succession, by definition, or it is not, in which case the continuum is not composed of indivisibles alone.
What is wrong with the argument?