11/06/12 14:31:57.00
>>744
> 違う。選択公理とは全く違う弱い公理しか必要ない。上に書いてあるだろう。
上に書いてあることをさらってみると・・・
>>133 > 「数学のロジックと集合論」によると完全性定理は選択公理よりもちょっと弱いらしいよ
>>717 > さらに言えば、完全性定理は証明には選択公理が必要。
>>719 > 述語論理の完全性定理なら選択公理より少し弱いもので足りる。
>>723 > 完全性定理の証明に選択公理かそれに近い言明が必要な理由を説明してるんだと思う。
>>736 > 選択公理は必要ない。もっと弱いものでいい。
選択公理（の弱いやつ）、じゃニュアンス遠いんですかね。