有理数が自然数と一対一対応する事はもうすでに多分習っているはずだ。