The Limit Operator is not an Operator that
you can apply to any sequence and get always
something meaningful.
The Limit Operator is not what gives you
in set theory infinity from something finite
always automatically.
Thats just Nonsense "Belief" from Augsburg
Crank instituate based on Volkswagen Omellette.
In calculus and geometry, the Limit
has sometimes a meaningful meaning. Also many
notations are simply defined as limit, for
example this notation is defined as limit:
0.333...
But you cannot use it to extend finite processs
s1, s2, ... into new process steps that are
beyond those process steps n < omega,
and then invent some states somega, and expect
that this is meaningful to you. Since there is
no inference rule:
/* WMs Grand False Belief */
forall n in N P(n) => P(N)
Such a "Belief", when explicated as an axiom
would say that for every predicate where we
only know the n < omega truth values, if these
truth values are all true, then the predicate
needs also be true for omega itself. There
is no such axiom or inference rule in
FOL=+ZFC. Why should this be the case? An
arbitrary predicate can still be false at omega,
even if it is true for all n. Simplest example:
P(x) :<=> ~n = N
You have:
forall n in N P(n)
but you dont have:
~P(N)
So in general there is no inference rule:
/* WMs Grand False Belief */
forall n in N P(n) => P(N)