自然数的定义是什么?0是自然数吗?