純粋・応用数学・数学隣接分野（含むガロア理論）21

>>406
君への問題

有理数全体の集合Qの部分集合族の選択関数 φ:2^Q-{}→Q,φ(x)∈x が存在することを証明せよ（もちろん選択公理は仮定しない）