In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 4 Apr., 23:08, William Hughes <wpihug...@gmail.com> wrote: > > > Nope. Any single element can be removed. This does not > > mean the collection of all elements can be removed. > > You conceded that any finite set of lines could be removed. What is > the set of lines that contains any finite set? Can it be finite? No. > So the set of lines that can be removed form an infinite set.
A necessary and sufficient condition on the set of FISONs needed in a set of FISONs to have its union equal to |N is that the set of FISONs be infinite.
WM's futile attempts to imply otherwise cannot be valid outside of WOLKENMUEKENHEIM, and are probably not valid inside it either.
> Now you > will claim, that not all finite lines (of this infinite set that > contains only finite lines that can be removed) can be removed. This > is a contradiction.
When WM claims that all finite lines (FISONs) can be removed from a set all of whose members are FISONs, and NOT result in the empty set, now THAT is a contradiction anywhere, even in the weirdness of WOLKENMUEKENHEIM. --