把“自然”放到自然数里