从自然数到有理数