19/01/24 23:58:07.08 lCDCS7R2.net
>>739
＞一意的でない関数の中から一つを選ぶところまでは書いてない
＞とかいうのはつまらない難癖
その細かいニュアンスの違いをつまらないと感じるなら、そもそもの
「代表系を選出するのは選択公理であって人間ではない」
という主張こそが難癖だよね？だって、この主張はまさに、
細かいニュアンスの違いに目をつけて文句たれてるという主張なんだからね
19/01/24 23:58:07.08 lCDCS7R2.net
>>739
＞一意的でない関数の中から一つを選ぶところまでは書いてない
＞とかいうのはつまらない難癖
その細かいニュアンスの違いをつまらないと感じるなら、そもそもの
「代表系を選出するのは選択公理であって人間ではない」
という主張こそが難癖だよね？だって、この主張はまさに、
細かいニュアンスの違いに目をつけて文句たれてるという主張なんだからね