Date: Feb 7, 2013 4:11 PM
Subject: Re: Matheology � 222 Back to the roots
WM <firstname.lastname@example.org> wrote:
> On 7 Feb., 19:46, William Hughes <wpihug...@gmail.com> wrote:
> > Gosh, you are really running away
> > from the fact that induction can
> > show d is not in the list.
> Induction can show that *your* d does not exist. Therefore it cannot
> be in any list.
Not outside of WMytheology.
> But if you neverthelss assume that your d exists, then among *your*
> finite terms a_n = (a_n1, ..., a_nn) can (and must) also exist
> infinite finite terms.
Not outside of WMytheology. And not yet proven even inside WMytheology.