```Date: Mar 24, 2013 4:44 PM
Author: ross.finlayson@gmail.com
Subject: Re: Matheology § 224

On Mar 24, 12:22 pm, Virgil <vir...@ligriv.com> wrote:> In article> <d28c00b4-cbad-4067-a2b1-cf63a83f9...@g4g2000yqd.googlegroups.com>,>>  WM <mueck...@rz.fh-augsburg.de> wrote:> > On 24 Mrz., 03:01, Virgil <vir...@ligriv.com> wrote:>> > > > In set theory we can construct the set of all elements that have a> > > > certain property. Does that mean that the property vanishes if too> > > > many elements belong to the set?>> > > It only vanishes from among non-members of that set.>> > Correct. But here I use only members, namely FISONs.>> > If you subtract a finite number from an infinite number, nothing> > happens.>> > If we remove a finite line from our list>> > 1> > 1,2> > 1,2,3> > ...>> > the union of all lines is not changed.>> Except that that list, which does not have a last member, cannot be one> of WM's lists. which are all required to have a last, though evanescent,> member.>> > We can even repeat this procedure for an infinite number of times>> Not in Wolkenmuekenheim, in which nothing can be done infinitely many> times, even theoretically, so Zemo's [sic] riddles prevent all motion there.>Are you saying that lim_n->oo Sum_i=1^n 1/2^i =/= 1, or, thatSum_i=1^oo 1/2^i = 1?Then, where the lines are n-sets:  what is the union of the lines?Via induction, any element of N is in line n and all following.  Theredoes not exist n e N s.t. not exists m>n-set contains n, and for all m> n.  If the union of the lines is not a line, then only the union offinitely many lines is a line, transfer doesn't hold.  Yet, there are,or aren't, infinitely many lines.Basically this gets into the difference between the _definition_  ofsuccessor (axiomatization), and successor as a _structuralconsequence_, of variety (deduction).The sum of all the finite numbers (natural integers): isn't a finitenumber, and for no finite number is it their sum.  Yet, addition is aclosed operation in the integers.  That gets into the differencebetween operations that are closed for finitely many, and unboundedlymany, and infinitely many applications of the operation, hereaddition.  The transfer principle, that which is so for each is so forall, can be further refined to bounded and infinite transfer.  And, itshould be.  Then there is reasoning as to separate the notions of thequantifiers for each / for any / for every / for all into variouscategorizations of application, that the "universal" quantifiercorrectly reflects the existence of transfer.Then, just as there are Euclidean and non-Euclidean geometries ofreasonable import, there are Archimedean and non-Archimedean naturalintegers, not just potential and complete, but along those lines.In the consideration of the application of the operations, and Mazur'sswindle as it were or the well known result of 1-1+1-1..., in thetelescopic it is seen that addition and its complement as subtraction,is finite-closed and bounded-closed, and may be infinite-closed, _forthe range of the inputs_, that the set isn't just defined by itselements, _but all operations contingent upon it_.  And, for somecollections, their elements are defined by their access, here thecontinuum of real numbers: sensitive in their ordering.Then, where the limit is the sum, or regardless of that and the limitexists, EF sweeps [0,1], BT the CIBT, the list as 0, 1, 2, ...,prefixed by the radix:  has for the only element different from each,that each is only different from each other.To each their own.  And, all for one and one for all, as it were.Regards,Ross Finlayson
```