有限選択公理なんて存在しないとボロ出した人がいると聞く
"finite axiom of choice"
約 119,000 件