```Date: Feb 7, 2013 3:16 AM
Author: Virgil
Subject: Re: Matheology � 222

In article <cc06eaeb-52e9-4dfa-9ab5-b7f9c794dbda@fw24g2000vbb.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:> On 7 Feb., 08:39, Virgil <vir...@ligriv.com> wrote:> > In article> > <bbdf841d-effe-48c8-b938-0825f9e82...@fv9g2000vbb.googlegroups.com>,> >> >  WM <mueck...@rz.fh-augsburg.de> wrote:> > > Matheology § 222   Back to the roots> >> > > Consider a Cantor-list with entries a_n and anti-diagonal d:> >> > > For every n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n).> > > For every n: (a_n1, a_n2, ..., a_nn) is terminating.> > > For every n: (d_1, d_2, ..., d_n) is terminating.> >> >  Even if there is  last a_n and  a last a_nn, n, the d_m's can still go> > on without end..> >> >> >> > > For all n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n).> > > For all n: (a_n1, a_n2, ..., a_nn) is terminating.> > > For all n: (d_1, d_2, ..., d_n) is *not* terminating.> >> > While (d_1, d_2, ..., d_n) may be terminating,> > d_1, d_2, ..., d_n, ... need *not* ever terminate.> > The diagonal argument includes merely all (d_1, d_2, ..., d_n). What WM's version of an argument is limited to is irrelevant outside WMYTHEOLOGY. The diagonal of Cantor's diagonal argument is not limited at all.--
```