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