On 21 Mrz., 14:02, William Hughes <wpihug...@gmail.com> wrote:
> > In fact? That's amazing. So we cannot prove that all lines of the > > infinite set of lines are unnecessary? > > We can prove that something is true for every > member of an infinite set. We cannot > prove that something is true for the set > itself unless the set is finite.
But I am not interested in the set itself. Not at all! My claim is that every member of the set of lines can be removed such that no member remains, but every natural number is contained in the list.