你这是初等定义，现在自然是都是用皮亚诺公理定义的，不能再用初等定义往上套了  
  
【 在 isk (朱迪) 的大作中提到: 】
:  最近听到如下两个关于自然数的说法：
:  
:  自然数的基本定义是：表示物体个数的数。
:  
--
FROM 115.183.80.*