19/01/24 23:53:05.23 lCDCS7R2.net
>>739
＞「選択公理は代表系を選出する関数の存在を示す」
＞という意味では間違っていない
結局その書き方でも、代表の選出が可能であることを
保証しているだけで、実際には何も選出してないでしょ
つまり、その書き方でも厳密には間違ってる
選出するのはあくまでも選択公理のユーザーである人間。
まあ細かいニュアンスの違いに過ぎないことには同意するけどね。
19/01/24 23:53:05.23 lCDCS7R2.net
>>739
＞「選択公理は代表系を選出する関数の存在を示す」
＞という意味では間違っていない
結局その書き方でも、代表の選出が可能であることを
保証しているだけで、実際には何も選出してないでしょ
つまり、その書き方でも厳密には間違ってる
選出するのはあくまでも選択公理のユーザーである人間。
まあ細かいニュアンスの違いに過ぎないことには同意するけどね。