●C2
[Beyond Second Order Arithmetic] の C の多変数化

C0 => C1 の進化を繰り返したもの。

C2(C2(1,0,0),0) = C1(1,0,0)
C2(C2(1,0,0)^2,0) = C1(1,0,0,0)
C2(C2(1,0,0)^3,0) = C1(1,0,0,0,0)

C2([C2で作り出す順序数], 0) はC1でつくり出せる順序数となり、
C2(C2([C2で作り出す順序数], 0)) で帰納的な順序数となる。