>>74
ありがとうございます。
ちょっと考えてみます。

新定義のψと旧定義のψの違いは、
ψ(δ, γ) で、δ ≧ card(γ) の場合だけである
ψ(δ, γ) で、δ ＜ card(γ) の場合と、ψ(α, 0) の定義が異なっているのは単に記述方法の違いである
というところまで理解したつもりです。
あってますか？

Ω = ψ(1,0)
Ω2 = ψ(2,0)
とすると、
ψ(0, α) = ω^α    (0≦α＜ε_0)
ψ(0, α) = ε_0    (ε_0≦α≦Ω)
ψ(0, Ω*2) = ε_1
ψ(0, Ω*3) = ε_2
ψ(1, Ω) = Ω^2
ψ(1, Ω^2) = Ω^3
ψ(1, Ω^3) = Ω^4
ψ(1, Ω2) = Ω^ω
これで合ってますか？