07/10/25 08:21:01
>>766
> Ver1の最終的な関数の定義はF[ω_x, ・・・ , 0_2, 0_1](x)です。
定義はどこにかいてありますか？
> L[α](x)のxは普通の自然数です。
L[α](ω)やL[9](L[10](ω)) という記述があるので定義域は自然数じゃないとおもいますが。
> L[10](ω) = L[9](φ_ω) (φ_n+1 = L[9](φ_n), φ_1 = ω)
これはどこを見れば書いてありますか？
φ_ωの定義がありませんが、
L[10](ω) = lim L[9](φ_n) という意味ですか？
> L[10](ω+1) = L[9](L[10](ω))
これはどこを見れば書いてありますか？
fundamental sequenceは何になりますか？
> L[L[ω](ω)](x) = L[L[x](ω)](x)
これはどこを見れば書いてありますか？
L[ω](ω) の直接的な定義は出来ないのですか？
L[ω](ω) はrecursiveな順序数ですか？