On 20 Apr., 17:18, fom <fomJ...@nyms.net> wrote: > On 4/20/2013 3:16 AM, WM wrote: > > > Matheology § 255 > > > Let S = (1), (1, 2), (1, 2, 3), ... be a sequence of all finite > > initial sets s_n = (1, 2, 3, ..., n) of natural numbers n. > > Not sets. > > Sequences.
In contrast to curly brackets parentheses indicate ordered sets. Here we have a sequence of ordered sets which is a sequence of sets, isn't it?. > > > > > Every natural number is in some term of S. > > U s_n = |N > > Notice the use of a union here. > > What is the index of the union.
1 to oo > > Union_i (i e |N) s_i > > In other words, this is disallowed in WM's > world