[08M]Difficoltà:*.Costruite un buon ordinamento su un insieme numerabile \(X\) tale che \(X=⋃_{n=1}^∞ S_ n\) dove \(S_ n\) sono segmenti iniziali, ciascuno con tipo di ordinamento \(𝜔^ n\). L’ordinamento così costruito su \(X\) si indica con \(𝜔^𝜔\).
