皮亚诺公理从1开始也可以，没有任何问题。


【 在 adrift 的大作中提到: 】
: 从数学基础角度来说，0必须是自然数。
: 现代数学是建立在集合论基础上的，集合论的第一条公理就是 空集公理“存在一个集合它没有任何元素”   这个集合被定义为空集。
: 自然数的基本公理系统是皮亚诺公理系统。该系统的模型是以 空集 作为0，然后定义 n+1=n并上{n}。容易在这个模型上建立加、乘运算并满足全部的皮亚诺公理。这样自然数理论就成为了集合论的自然的推论。
: ...................
--
FROM 182.118.232.*