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