自然数的定义是什么?到底有0吗?高中课程怎么说的?