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 ...
> (2) Does the same sequence understood as FISONs of paths contain the > path 1/9?
> (3) Is the union of these FISONs 1/9?
[note for a line to be the union of all lines it is necessary and sufficient for it to be a last line. There is no last line, so the union of all lines is not a line]