Ω Svět expanze ~ f3(n) → fω + 2(n)
-----------------
-----------------
Ω Říše Peanovy aritmetiky ~ fω2(n) → fε0(n)
-----------------
-----------------
Ω Ráj Veblenův ~ fη0(n) → fΓ0(n)
-----------------
Feferman–Schütte ordinál ~ fΓ0(n)
-----------------
Ω Kolabující ordinálové funkce
-----------------