Teorema ëd forma normal ëd Cantor

Ël teorema ëd forma normal ëd Cantor a fortiss che tut ordinal $\alpha >0$ a peul esprimse, ëd fasson ùnica, tanme $\alpha =\omega ^{\beta _{1}}n_{1}+\omega ^{\beta _{2}}n_{2}+\ldots +\omega ^{\beta _{t}}n_{t}$, con $\beta _{1}>\beta _{2}>\ldots >\beta _{t},0<n_{i}<\omega$. S'espression as ciama forma normal ëd Cantor d'$\alpha$.