自然数的集合论定义 已经提出了多种使用集合论定义自然数的方式