On 22 Nov., 08:29, William Hughes <wpihug...@gmail.com> wrote: > On Nov 22, 2:34 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > On 21 Nov., 23:55, Virgil <vir...@ligriv.com> wrote: > > > > "a set of lines necessary to contain all elements of |N in its union" > > > > is not even close to being unique. > > > It does not exist, as I proved by induction. > > Therefore it cannot be unique. > > > > In fact ANY infinite set of lines works. > > > > And as there are infinitely many lines > > > There are infinitely many lines. So we have infinitely many unions of > > a finite initial segment and its predecessors. But infinitely many > > unions are not an infinite union? > > No, of course not.
