比0大的数都是自然数,