Date: Mar 21, 2013 9:11 AM
Subject: Re: Matheology § 224
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.
Do you agree?