>>673
然り。ただ正確にはListではなくTreeだけど。
ω〜ω^ω未満なら自然数のListであらわせる。

(n_1,n_2,…,n_n)→n_1*ω^n+n_2*ω^(n-1)+…+n_n*ω

ここで
((1))→ω＾ω
((1),(2))→ω＾ω＋ω＾（ω＾２）
((1、2))→ω＾(ω＾２＋２ω）
とすれば、ω＾ω〜ε_0未満に対応するようにできる。