5.7 自然数的定义