On Mar 21, 2:29 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 21 Mrz., 14:02, William Hughes <wpihug...@gmail.com> wrote: > > > > But you think that after all finite and unnecessary lines another one > > > is lurking like a dragon? > > > Now I think that after any finite set of unnecessary lines has > > been removed, there still remains an unnecessary line.- > > I know. That's what I wished to prove. In order to believe in the > existence of actually infinite sets, it is necessary to have another > element after all ordinary elements have been removed.
Nope. I only talk about removing finite sets of ordinary elements. I do not talk about removing all ordinary elements.