やっと >>97 の３つの subst, subst_arg の意味が理解できました。
ちょっとずつ理解を進めてますが、全部を理解するにはまだ時間がかかりそうです。

>>97 で作れない最小の帰納的順序数 C(C(ε_(Ω+1), 0), 0) を
>>102 で表すと何になりますか？

>>102 の Ω_nを、一番最後の章のC(a,b,c)で表すとどうなりますか？
大小関係から考えると、
Ω_1 = C(1,0,0)
Ω_2 = C(1,0,Ω_1)
Ω_3 = C(1,0,Ω_2)
....
こうはならなそうですね。