選択公理は補助輪

**１３２人目の素数さん** · 2023/05/28(日) 09:29:10.58

それなしでも数学は出来るが、初心者は仮定して始めると楽

**１３２人目の素数さん** · 2023/05/28(日) 12:10:15.15

洗濯は晴れた日に

**１３２人目の素数さん** · 2023/05/28(日) 12:11:14.84

氷は水割り、アイスコーヒーに必須

**１３２人目の素数さん** · 2023/05/28(日) 18:09:32.07

テスト

**１３２人目の素数さん** · 2023/05/29(月) 08:23:57.32

選択公理なんか使ってると、こいつ補助輪付けてるって思われるぞw

**１３２人目の素数さん** · 2023/05/29(月) 18:22:24.46

センタッキーウーマン

**１３２人目の素数さん** · 2023/05/29(月) 23:22:53.79

今のトレンドは選択と集中だ。

**１３２人目の素数さん** · 2023/06/19(月) 01:15:14.17

選択公理を一切使っていないことを完全に保証しているような
　代数の本、解析学の本、を読んで見たい。
そのような制約の中で為し得ることはどこまでであるのかを知りたい。
そのような本の中で、これこれの定理は選択公理を要するので本書の立場では
証明をすることが不可能である云々などといった講釈がついているとなお良い。

**１３２人目の素数さん** · 2023/06/19(月) 15:59:31.25

参考書を読む際に証明の中で選択公理または選択公理を使わなければ証明できない定理を使っているかを順次チェックして自分で印を付けていけばいいだけ

**１３２人目の素数さん** · 2023/06/25(日) 18:01:11.05

かつて選択公理が公理として認識されておらず、暗黙に当然のこととして、選択公理を使ってというような
意識もなく、密輸入されて使われていた歴史を考えるに、ある命題の証明の中に選択公理が決して使われて
いないことを保証するのは簡単なことではないのではなかろうか？公理は人間の思考癖、願望、御都合主義に
沿ったものだろうから、知らぬ間に忍び入るだろう。

**１３２人目の素数さん** · 2023/07/05(水) 00:20:44.21

いまでもまだ気が付かれずになんらかの本当は証明など不可能な事柄を
証明の中で意識せずに使っていたりしないのだろうか？そのようなことは
絶対に無いという保証があるのだろうか？その保証の証明にも使われていたり
するかもしれない。

**１３２人目の素数さん** · 2023/07/05(水) 12:45:24.73

>>5
まじれすすると選択公理はZFと独立

**１３２人目の素数さん** · 2023/07/05(水) 21:13:09.63

知ってるよ
AC |- ZFも AC |- ￢ZFも成り立たないんやろ

**１３２人目の素数さん** · 2023/07/06(木) 01:25:04.43

なぜ選択公理を使うか分かるか？

**１３２人目の素数さん** · 2023/07/06(木) 13:51:56.58

ダーウィンによる進化説では、自然選択と人為選択、雌雄選択などによる進化が
仮説として取り上げられていたと思う。

**１３２人目の素数さん** · 2023/07/06(木) 14:04:20.62

>>15
まだ公共選択論のほうが選択公理使ってる

**１３２人目の素数さん** · 2023/08/12(土) 16:23:30.21

あげ

**１３２人目の素数さん** · 2023/08/14(月) 04:41:45.33

選択公理は一種の仮説

**１３２人目の素数さん** · 2023/11/25(土) 14:27:08.42

だって好きな人に触りたいっていうのは当然のことじゃん