>>575
>>540だと
T[a+1]=CK[T[a],CK[]]
ということになるでしょうか(ただしCK[]は>>539の定義)。

だとすると、タネとなる順序数から順序数への写像を
>>539のCK[]として、>>575は>>540のT[CK]程度？

…と、思いましたが、もしかすると>>540におけるTの定義
そのものが、>>539のCK[]から帰納的に導かれたものである、
と考えるわけですか。だとすると…とんでもないですね。

そろそろついていけなくなりそうです。