On Mar 20, 1:17 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> > So your proof that any two lines can be replaced > > by one line without changing the contents is irrelevant. > > Since contents can only exist in lines, and since every line is > superset to all its predecessors, the proof is correct.
The proof is irrelevant (it is, however, correct) since showing that lines are not needed for their contents does not show that the lines are not needed. To show that actual infinity is unreasonable you have to show the lines are not needed.