>>84
訂正します。やはり、ψ(α+1,1,0)ではなくψ(α+1,0,0)が正しいようです。
　C(1,0,C(1,C(2,0,0),0))　　　　　ψ(0,ψ(1,0,0)+1,0)
　C(1,α,C(1,C(2,0,0),0))　 　 　 ψ(0,ψ(1,0,0)+ω^α,0)
　C(1,C(2,0,0),C(1,C(2,0,0),0))　ψ(1,0,1)
　C(1,C(2,0,0)+α,0)　　 　 　 　 ψ(1,0,ω^α)
　C(1,C(2,0,0)+C(2,0,0),0)　　　 ψ(1,1,0)
　C(1,C(2,0,0)*α,0)　　 　 　 　 ψ(1,α,0)
　C(1,C(2,0,0)^2,0)　　　　　　　 ψ(2,0,0)
　C(1,C(2,0,0)^α,0)　　 　 　 　 ψ(α,0,0)
　C(1,C(2,0,0)^C(2,0,0),0)　　　 Ψ
だと思います。
帰納的順序数で比較すると、
C(0,C(0,C(1,C(2,0,0)^C(2,0,0),0),C(2,0,0)),0)=ψ(0,0,Ψ)
でしょうか。

二変数ψと比較すると、
ψ_{ω^α_1+ω^α_2+…+ω^α_m}(ω^β_1+ω^β_2+…+ω^β_n)
=C(0,β_n,…C(0,β_2,C(0,β_1,C(1,α_m,…C(1,α_2,C(1,α_1,0))…)))…)
だと思います。