- 871 名前：考える人 [2010/01/31(日) 03:16:58 ]
- >848
>はっきり言っとくが、数学の証明のどこで選択公理を使ったか
>チェックするのは基礎論の役目じゃないよ。
>Rが整列できない宇宙のモデルを作れというのも
>厳密には集合論であってロジックかどうかは微妙。
私の持っていた基礎論のイメージとかなり違っていて、びっくりしました。
しかし、分野の名前の定義は本質ではないので特に異論はありません。
ちなみに、下記の命題は「数学基礎論とその応用」と云う講究録からもって
きました。
「可換環論において、重要な役目を果たす閉点定理がZFでは証明出来ない。
つまり、選択公理を使わなければ証明出来ない。」
