In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 8 Apr., 10:31, William Hughes <wpihug...@gmail.com> wrote: > > On Apr 8, 9:48 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > On 7 Apr., 23:25, William Hughes <wpihug...@gmail.com> wrote: > > > > Note that any line plus its predecessors is a finite set. > > > > So, there is no contradiction in saying that you can > > > > remove any one line (plus its predecessors) but you cannot > > > > remove the collection of all lines > > > > Is there a contradiction, Yes or No > > > > Answers to your three questions. > > > > > (1) Does the sequence of decimals > > > 0.1 > > > 0.11 > > > 0.111 > > > > ... > > > > contain 1/9? > > > > No > > > > > (2) Does the same sequence understood as FISONs of paths contain the > > > path 1/9? > > > > No > > A side-question: Why then can the anti-diagonal of a list of finite > lines be an infinite line?
If the list is infinite and those infinitely many finite lines in it are collectively unbounded in length, it is easy to do.