07/10/22 17:36:51
>>689
>>681には>>173に書いてないことが書いてあるけど。
>>173
>+だけでは到達できない数をφ_0で定義し、
>+とφ_0だけでは到達できない数をφ_1で定義し、
>+とφ_0とφ_1だけでは到達できない数をφ_2で定義し、
>…とやっていって、最終的にはVeblen関数を何回使っても
>到達できない最小の数をΓ_0と定義していることになります。
これだとΓ_0がφを使ってどう下から表せるかがわからない。
>>681には書いてあるけどね。
07/10/22 17:36:51
>>689
>>681には>>173に書いてないことが書いてあるけど。
>>173
>+だけでは到達できない数をφ_0で定義し、
>+とφ_0だけでは到達できない数をφ_1で定義し、
>+とφ_0とφ_1だけでは到達できない数をφ_2で定義し、
>…とやっていって、最終的にはVeblen関数を何回使っても
>到達できない最小の数をΓ_0と定義していることになります。
これだとΓ_0がφを使ってどう下から表せるかがわからない。
>>681には書いてあるけどね。