選択関数が全く具体的でないというだけで
選択公理を拒否する「心は19世紀」の爺さん
に用はないよ