On 4/6/2013 12:30 PM, WM wrote: > On 6 Apr., 19:02, William Hughes <wpihug...@gmail.com> wrote: > >>>> Tell me which E you want to use. I will >>>> name an element that is in D\E. >> >>> I will not leave any line that has a follower, i.e., I will use all >>> finite lines (given that "all lines" is a meaningful notion for >>> infinite sets.) >> >> You cannot. E has a largest element. The set of all finite >> lines does not.- > > You contradict yourself. E *is* the set of all finite lines, since > every finite line has a follower, and all lines that have followers > can be removed without changing the remaining union.
And once again WM is confusing a finite count of lines associated with a finite set with a non-finite count of finite lines associated with an infinite set.