Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Just curious, what should Aleph-Two mean? I know that Aleph-One is distinct from Aleph-Null and Aleph-One is not countable, but does Aleph-Two mean?

share|improve this question
    
It can be defined as the set of all ordinals that can be injected into $\aleph_1$. (I don't pretend to be able to visualize this.) –  goblin Apr 29 at 18:38

2 Answers 2

$\aleph_0$ is the cardinality of the set of all the finite ordinals, which coincide with our usual interpretation of the natural numbers. $\aleph_1$ is the cardinality of the set of all the countable ordinals.

$\aleph_2$ is the cardinality of the set of all the ordinals whose size is $\leq\aleph_1$ (and in fact equals $\aleph_1$ would suffice).

If we assume the generalized continuum hypothesis, then $\aleph_2=|\mathcal P(\Bbb R)|$.

share|improve this answer

To approach this in a slightly different manner than Asaf, in general for every ordinal number $\alpha$ we designate by $\aleph_\alpha$ the unique infinite cardinal number $\kappa$ such that the set of all infinite cardinals $< \kappa$ has order type $\kappa$ (according to the usual order). So one may think of $\aleph_\alpha$ is the "$(\alpha+1)^{\text{st}}$ infinite cardinal".

I'm sure you already know that $\aleph_0$ is the smallest (first) infinite cardinal.

$\aleph_1$ is then the least cardinal number greater than $\aleph_0$, the second infinite cardinal, and the first uncountable cardinal.

$\aleph_2$ is the least cardinal number greater than $\aleph_1$. (The third infinite cardinal, and the second uncountable one.)

Ans we can continue like this ad infinitum.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.