>>84
> この時のψ2(1,0)がC(2,0,0)に相当するということでしょうか？
wikipediaにある普通の1変数のψは、突然Ωという順序数が現れます。
この順序数Ωは十分に大きく、十分にキリが良ければ絶対的な大きさはどうでもよく、
最小の帰納的でない順序数としても、
最小の非可算順序数としても、
もっとずっと大きな基数としても、
ψで作れる帰納的順序数の大きさに影響しません。

ψ(2,0,0) も、
{ 0, +, ψ(0,a,b), ψ(1,a,b) } で作れる順序数に比べて
十分大きく十分キリの良い順序数としておけば良いと思います。
たとえば、最小の到達不能基数であるとか。