基礎論

【選択公理】実は使っている、選択公理 (ずっと書きかけ。)

選択公理、使ってますか? 使ってますよね。 僕が意識していなかった選択公理の使用例をいろいろ書いていこうと思います。 全射なら右逆写像が存在する 全射なら右逆写像が存在する 意識していませんでした。 全射 があるとき、 を満たす写像 を構成するのに…