07/10/17 23:49:36
>>540
CK[順序数たち、順序数たちから順序数への写像たち] =
「順序数たち、順序数たちから順序数への写像たち、帰納的定義」で作れない最小の順序数
（収束列は、『「順序数、順序数から順序数への写像、帰納的定義」を
n文字で表現した時に得られる最大の順序数』）
とし、「このCKと帰納的定義」で作れない最小の順序数
を考えれば、
> 多変数化、Ωの導入、C0からC1に拡張したときのような拡張.....
> などでさらに大きくすることが出来ます。
こんな原始的なことをしなくてもずっと大きくなりますね。
なんかだんだん言葉遊びみたいになってきた。