```Date: Feb 22, 2013 4:57 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article <90cbfe69-ca5b-454c-8126-6543716186ed@w7g2000yqo.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:> On 22 Feb., 02:08, William Hughes <wpihug...@gmail.com> wrote:> > So> >> >      A) For every natural number n, P(n) is true.> >> >         implies> >> >      B)  For any n: There does not exist a natural number> >          between 1 and n such that P(n) is false> >> > However, we cannot conclude> >> >      B')  There does not exist a natural number> >           m such that P(m) is false> > In potential infinity there is no actually infinite setBut in standard set theories there is no potentially infinite set that is not actually infinite. At least WM has yet to provide us with any axiom system or comprehesive set of rules for a coherent set theory which even allows for potential infiniteness without requiring actual infiniteness into the bargain.We have ZF and NBG, among others, but WM has nothing. > > Compare my example:> >      A              B> --> 1         -->{ }> --> 2,1      -->{ }> --> 2         -->1> --> 3, 2     -->1> --> 3         -->1, 2> --> 4, 3     -->1, 2> --> 4         -->1, 2, 3> ...> --> n         -->1, 2, 3, ..., n-1> --> n+1, n -->1, 2, 3, ..., n-1> --> n+1     -->1, 2, 3, ..., n-1, n> ...> > There is no last element in B.Another evidence of WM's habitual sloppy thinking, confusing a sequence of subsets of |N with a subset of |N.A and B are not subsets of |N, at least in any standard set theory, as if they were, their memberships would be fixed and unchanging.One can have a sequence of sets in which different members of the sequence can have different membership, but one cannot have a single set whose membership is not fixed. At least not outside WMytheology. If A and B are to be understood as sequences of sets, then WM must define what he means by the limit of a sequence of sets before claiming any such limit exists or does not exist. or claiming a value for such a limit.> Every x from 1 to every n you desire> can be in B. Perhaps x as a natural can be in a term or member of B, but the members of B are subsets of |N rather than members of |N. > > That is all we can know about infinity. (Not my fault.)It is certainly your own fault that you can know no more, as there are myriads of sources all around you from which, once you open your eyes, you can learn about infinity.--
```