有没有“最大自然数”?