- 424 名前：406 mailto:sage [2012/05/12(土) 10:35:34.95 ]
- レスしてくださった方々本当にありがとうございます。
ちなみに
竹内外史著「数学基礎論の世界」（日本評論社）p.53の定理４は
「順序数の狭義に単調減少な数列
α0>α1>α2>．．．
は有限回で終わってしまう。」
です。
有限の立場について一番詳しいのは竹内外史のProof Theoryなのでしょうか？
ちょっとしりたくなっちゃったなあ。
>>421
＞無矛盾性の強さを順序数で測るという考えに基づいて
にも興味あるなあ。何か参考文献を教えていただけるとうれしいなあ。
