この解説によると，選択公理いれた公理体系だといろんな矛盾を含んじゃうから使うもんだないよね！ってことらしいです．

なんで，選択公理を入れるとリーマン予想は解けるけど，入れない場合は多分，決定不能問題になるってことは，この世界の物理を表す公理系としてどちらが相応しいかが分かれば（恐らく選択公理を入れない），リーマン予想の結果が使い物になるかどうかも分かるのかなぁって感じかな？