a : 順序数
A : 極限順序数 A_n がその収束列

G[0](x)=10^x
G[a+1](x)=(G[a])^x(x)
G[A](x)=G[A_x](x)
H(x)=G[ψ_0(Ψ)](x)
H^81$(5)