递归定义自然数