11/10/30 15:12:48.17
>>41
＞よく知られたことだが、（中略）
＞PA, ZFC など自然な公理系に関する
＞完全性定理には（選択公理は）不必要だ。
いつ、どこでお知りになられましたか？
この件に関して「よく知っている」のは
あなた一人である可能性が高いので。
11/10/30 15:12:48.17
>>41
＞よく知られたことだが、（中略）
＞PA, ZFC など自然な公理系に関する
＞完全性定理には（選択公理は）不必要だ。
いつ、どこでお知りになられましたか？
この件に関して「よく知っている」のは
あなた一人である可能性が高いので。