構成できるか否かと存在するか否かは全く別でしょ？
選択公理は選択関数が存在すると主張しているのだから存在すると言えない確率と比較しても