自然数的个数是有限的,