個人的に確実に理解できているのは今のところチェーン表記がせいぜいというアフォっぷりです。
アッカーマン関数の爆発具合はなんだか凄い、というのも分かります。

熱心に議論している諸氏に対して不謹慎かもしれませんが
スレの途中に出てくるプロジェクトXやRPG風の記載をおもしろく読んでいる程度です。

そんな僕ですがひとつ疑問があります。
今更すぎてスレ汚しなのは承知していますが恥をしのんで聞かせてください。

Hardy functionについて順序数ωが理解できません。
自然数全体集合についての最小の無限順序数がωとのことですが
「つまりωは自然数ではない」との理解でいいのでしょうか？
自然数 → 整数 → 有理数 → 実数･･･というような広がりとは根本的に異なるのでしょうか？