为自然数