整数集与自然数集的一一对应 需要什么对应法则