In article <firstname.lastname@example.org>, email@example.com wrote:
> On Tuesday, 25 June 2013 23:27:57 UTC+2, Zeit Geist wrote: > > The statement, "If n e N, then FIS_n(d) e S." does NOT imply that "d e S" > > if d extends beyond every FIS(n). But that is not part of mathematics. > > In mathematics we have for all n e N : a_n = d_n, then a = d.
WM has only that for all n in some FISON, but as he has claimed that the union of all FISON does not cover |N, that does not make it true for all n in |N.
Of course OUTSIDE of WM's matheology, everything is copacetic.
Inside WM's matheology, WM has repeatedly claimed |N has only each n but never has all n.
And WM must establish that all relevant n are in |N, which he denies. --