無理数の集合を考えると有理数という隙間が存在する