自然数的定义是什么 自然数是从0开始的吗