選択公理と数学(田中尚夫)がおすすめ