選択公理つか、必要なのは有理数の稠密性だけでしょ?