13/12/07 20:55:33.49
>>379
>最初の普通の自然数の部分だけでNatが成り立つモデルと
>wを含むもっと大きな部分でNatが成り立つモデルが必ず両方存在してしまう。
それらのモデルのうち一番小さいの、というのは駄目なんですか？
13/12/07 20:55:33.49
>>379
>最初の普通の自然数の部分だけでNatが成り立つモデルと
>wを含むもっと大きな部分でNatが成り立つモデルが必ず両方存在してしまう。
それらのモデルのうち一番小さいの、というのは駄目なんですか？