Ординал ω содержит все конечные ординалы вида 0 и p+1={0,1,...,p}.

Ординал ω2 содержит все ординалы вида ω∙p+q, p,q=0,1,2... .
ω∙p+q не пара натур.чисел, но биективная функция от пары.
Отсюда биекция ω2 на декартов квадрат множества ω.

В общем, ωk содержит все ординалы вида ωk-1∙pk-1 +...+ ω∙p1 + p0 и,
являясь функцией от p0,...,pk-1=0,1,2,..., ( Read more... )