Τ_1(0)=ψ_0(Ω^Ω)
Τ_1(0,0)=ψ_0(Ω^Ω)×2
Τ_1(Τ_0(Τ_1(0)))=ψ_0(Ω^Ω)^2
Τ_1(Τ_0(Τ_1(0)),1,Τ_0(Τ_1(0)))=ψ_0(Ω^Ω)^3
Τ_1(Τ_0(Τ_1(0)),ω)=ψ_0(Ω^Ω+1)
Τ_1(Τ_0(Τ_1(0)),Τ_0(Τ_1(0)))=ψ_0(Ω^Ω×2)
Τ_1(Τ_0(Τ_1(0))+1)=ψ_0(Ω^Ω×ω)
Τ_1(Τ_0(Τ_1(0),1))=ψ_0(Ω^(Ω+1))
Τ_1(Τ_0(Τ_1(0),1,Τ_1(0)))=ψ_0(Ω^(Ω+ψ_0(Ω^Ω)))
Τ_1(Τ_1(0))=ψ_0(Ω^(Ω×2))
Τ_1(Τ_1(0),0,Τ_1(0))=ψ_0(Ω^(Ω×3))
Τ_1(Τ_1(0),1)=ψ_0(Ω^(Ω×ω))
Τ_1(Τ_1(0),1,Τ_1(0))=ψ_0(Ω^Ω^2)
Τ_1(Τ_1(0),2)=ψ_0(Ω^Ω^ω)
Τ_1(Τ_1(0),ω)=ψ_0(ψ_1(0))
Τ_1(Τ_1(0),ω,ω)=ψ_0(ψ_1(1))
Τ_1(Τ_1(0),ω,Τ_1(0))=ψ_0(ψ_1(Ω))
Τ_1(Τ_1(0),ω+1)=ψ_0(ψ_1(Ω×ω))
Τ_1(Τ_1(0),ω+2)=ψ_0(ψ_1(Ω^ω))
Τ_1(Τ_1(0),ω×2)=ψ_0(ψ_1(ψ_1(0)))
Τ_1(Τ_1(0),ω^2)=ψ_0(ψ_1(Ω_2))
Τ_1(Τ_1(0),ω^2,Τ_1(0))=ψ_0(ψ_1(Ω_2×Ω))
Τ_1(Τ_1(0),ω^3)=ψ_0(ψ_1(Ω_2^2))
Τ_1(Τ_1(0),Τ_1(0))=ψ_0(ψ_1(Ω_2^Ω_2))
Τ_1(Τ_1(0),Τ_1(0),ω)=ψ_0(ψ_1(Ω_2^Ω_2+1))
Τ_1(Τ_1(0),Τ_1(0),ω+1)=ψ_0(ψ_1(Ω_2^Ω_2×ω))
Τ_1(Τ_1(0),Τ_1(0),ω×2)=ψ_0(ψ_1(ψ_2(0)))
Τ_1(Τ_1(0),Τ_1(0),Τ_1(0))=ψ_0(ψ_1(ψ_2(Ω_3^Ω_3)))

ここまでが正しければΤ_1(Τ_1(0)+1)=ψ_0(Ω_ω)になるはず。
早く定義を完成させなければ。