- 100 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/02/19(火) 11:37:36.57 ID:tSPl0aLv.net]
- >>89 訂正
彼は、選択公理を濫用している。選択公理で何でも簡単に証明できるなら、ツォルンの補題は不要だ
↓
彼は、選択公理を濫用している。選択関数で何でも簡単に証明できるなら、ツォルンの補題は不要だ
かな？（＾＾
まあ、公理は、できるだけ簡素な表現が求められる
使う用語は極力少なくすべしだ
そうしないと、使った用語の定義が沢山必要になってしまうからね
で、しかし、選択公理の場合、
いろんな等価な言い換えが見つかっているんだよね
時枝が成立しないと、選択公理が否定されるとか、なに妄想しているんだ！と
そんなこと言えるのかい？ おいおい
Hart氏のGame ２を見落としているぞ！（＾＾
