Em teoria dos conjuntos, uma disciplina da matemtica, os nmeros Aleph so uma

sequncia de nmeros usados para representar o cardinais (ou tamanho) conjuntos

infinitos.Um smbolo usado para nome-los, a letra hebraica aleph (?).

A cardinalidade do nmero natural {\displaystyle \aleph _{0}} \aleph_0 (l-se

alef-nulo ou alef-zero), o cardinal seguinte maior {\displaystyle \aleph _{1}}
\aleph _{1}, depois vem {\displaystyle \aleph _{2}} \aleph _{2} e assim por diante.
Continuando desta maneira, possvel definir um nmero cardinal {\displaystyle
\aleph _{\alpha }} \aleph _{{\alpha }} para qualquer nmero ordinal a, como
descrito abaixo.

Este conceito vem de Georg Cantor, quem definiu a noo de cardinalidade e percebeu
que conjuntos infinitos podem possuir distintas cardinalidades.

Os nmeros aleph so diferentes do infinito (8) comumente encontrado na lgebra e

no clculo. Alephs so medidas de tamanho de conjuntos; o infinito, por outro lado,
comumente definido como um limite extremo da reta real (aplicado a uma funo ou
sequncia que "diverge no infinito" ou " sempre crescente" ) ou um ponto extremo
da reta real estendida.

Usando o Axioma da escolha, pode-se demonstrar que qualquer conjunto no-vazio de

nmeros cardinais tem um elemento mnimo; assim, a classe dos nmeros cardinais
bem ordenada e pode ser indexada pelos nmeros ordinais. Esta indexao gera a
notao {\displaystyle \aleph _{\alpha }} \aleph _{{\alpha }} para os nmeros
cardinais.

\aleph_0 a cardinalidade do conjunto de todos os nmeros naturais e o primeiro

cardinal infinito. Um conjunto possui cardinalidade {\displaystyle \aleph _{0}}
\aleph_0 se e somente se contvel e infinito, o que significa que tal conjunto
tem um isomorfismo, ou seja, uma relao um-para-um sobrejetora (ou seja, uma
funo bijetora) com o conjunto dos nmeros naturais. Na classe de conjuntos com
esta cardinalidade esto inclusos os conjuntos de todos os nmeros primos, dos
nmeros inteiros, dos nmeros racionais , o conjunto dos nmeros algbricos, o
conjunto das cadeias binrias de tamanho finito e o conjunto de todos os
subconjuntos finitos de um conjunto infinito contvel.

Se o axioma contvel da escolha (uma verso mais fraca do axioma da escolha)

vlido, ento {\displaystyle \aleph _{0}} \aleph_0 o menor cardinal infinito.

Um nmero ordinal {\displaystyle \alpha } \alpha denominado ordinal inicial se

ele no equipontente a qualquer {\displaystyle \beta <\alpha } \beta <\alpha .[1]

possvel demonstrar que cada conjunto bem ordenado X equiponte a um nico

ordinal inicial. A prova bastante simples. Sabemos que X, por ser bem ordenado,
equipotente a algum nmero ordinal {\displaystyle \alpha } \alpha.[1] Digamos que
{\displaystyle \alpha _{0}} \alpha _{0} o menor ordinal equipotente a X.
{\displaystyle \alpha _{0}} \alpha _{0} , portanto,um ordinal inicial, j que se |
{\displaystyle \alpha _{0}} \alpha _{0}| = | {\displaystyle \beta } \beta| para
algum {\displaystyle \beta <\alpha _{0}} \beta <\alpha _{0} iria resultar em |X| =
| {\displaystyle \beta } \beta|, uma contradio. Por sua vez, se {\displaystyle
\alpha _{0}\neq \alpha _{1}} \alpha _{0}\neq \alpha _{1} so ordinais iniciais,
eles no podem ser equipotentes, pois | {\displaystyle \alpha _{0}} \alpha _{0}| =
| {\displaystyle \alpha _{1}} \alpha _{1}| e {\displaystyle \alpha _{0}<\alpha
_{1}} \alpha _{0}<\alpha _{1} iria violar o fato de que {\displaystyle \alpha _{1}}
\alpha _{1} um ordinal inicial.

Do que foi demonstrado acima podemos dizer que se X um conjunto bem-ordenado

ento o nmero cardinal de X, denotado por |X|, o nico ordinal inicial
equipotente a X. Em particular, |X| = {\displaystyle \omega } \omega para qualquer
conjunto contvel e |X| = n para qualquer conjunto finito com n elementos. Uma
pergunta natural que surge caso h outros ordinais iniciais alm dos nmeros
naturais e o {\displaystyle \omega } \omega. Para provar que possvel termos
ordinais iniciais to grande quanto quisermos vamos primeiramente definir os
nmeros de Hartogs:

Para qualquer A, seja h(A) o menor nmero ordinal o qual no equipotente com
qualquer subconjunto de A. h(A) dito o nmero de Hartog de A. Pelo descrito
acima, podemos concluir que para qualquer A, h(A) um ordinal inicial. Os nmeros
de Hartog existem para qualquer A.

Diante dos conceitos acima descritos, podemos definir uma "escala" de ordinais
iniciais cada vez maiores por recurso transfinita: