In article <firstname.lastname@example.org>, WM <email@example.com> 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
WH's E is not any such set. If WM does not wish to accept that
, since > every finite line has a follower, and all lines that have followers > can be removed without changing the remaining union.
Thus WM is claiming that one can remove every set from a set of sets without affecting the union of all members of that set.
So in WMytheology every union is the empty set. --