In Monadic Mathematics there are two separated models of the non-finite:

a) A model that is based on the term "infinitely many ...".

b) A model that is based on the term "infinitely long (non-composed) ...".

The Cantorean universe is based only on (a) model.

Because of this reason Cantor did not understand that when he use an AND connective between totality (the term 'all') and a collection of infinitely many ... , he immediately find himself in (b) model.

Please read very carefully my Riemann's Ball argument , in order to understand the phase transition between (a) model and (b) model (and vise versa).

Some words about Riemann's Ball:

By using Riemann's Ball we can clearly distinguish between potential infinity and actual infinity:

http://www.geocities.com/complementarytheory/RIMLIM....

As we can see from the above example, no infinitely many objects (where an object = an intersection in this model) can reach actual infinity.

In our example we represent only Z* numbers, but between any two of them we can find rational and irrational numbers.

Riemann's limits are 0 and ∞ (or -∞), and all our number systems are limited to potential infinities, existing in the open intervals (0,∞) or (-∞,0).

When we reach actual infinity, then we have no information for any method that defines infinity by infinitely many objects.

Also ∞ cannot be defined as a point at infinity in this model, because no intersection (therefore no point) can be found when we reach ∞.

If you understand Riemann's Ball argument then you can clearly see that Aleph0 cannot be but a (b) model.

Since there is a XOR connective between (a) model and (b) model, there is no relation between Aleph0, which is a (b) model, and set N, which is an (a) model.

"When we reach actual infinity, then we have no information for any method that defines infinity by infinitely many objects."