自然数的定义是什么来着?