解説を始める前に、ここからは順序数を次のように
表したりするので確認してください。
1→ψ(0)
ω→ψ(1)
ω^n→ψ(n)
ε_0→ψ(Ω)
ε_n→ψ(Ω*n)
ε_ω→ψ(Ω*ω)→ψ(ψ1(0)*ω)→ψ(ψ1(1))
φ_2(0)→ψ(ψ1(ψ1(0)))
φ_n(0)→ψ(ψ1(ψ1(0)*n))
φ_ω(0)→ψ(ψ1(ψ1(1)))
Γ_0→ψ(ψ1(ψ1(ψ1(0))))
ψ(ε_(Ω+1))→ψ(Ω_1)→ψ(ψ1(ψ2(0)))