選択関数を使って値を知るという事が試行になるんじゃないの?
しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう