>>132の定義式で、
　β≠0のとき
　　φ(…,[α,β+1],[0,γ+1])=lim φ_n
　　　ただしφ_0=φ(…,[α,β+1],[0,γ])+1,φ_(n+1)=φ(…,[α,β],[0,φ_n])
　αが極限順序数のとき
　　φ(…,[α,1],[0,β+1])=lim φ(…,[α_n,1],[0,φ(…,[α,1],[0,β])+1])
の式を、
　　φ(…,[α+1,β+1],[0,γ+1])=lim φ_n
　　　ただしφ_0=φ(…,[α+1,β+1],[0,γ])+1,φ_(n+1)=φ(…,[α+1,β],[α,φ_n])
　αが極限順序数のとき
　　φ(…,[α,β+1],[0,γ+1])=lim φ(…,[α,β],[α_n,φ(…,[α,β+1],[0,γ])+1])
に訂正します。