- 主题:今天才知道,0又算自然数了
跟这个没关系。因为皮亚诺五条公理里把0作为第一个自然数。如果定义1是第一个自然数也是可以的。仅仅是定义的问题
【 在 adrift 的大作中提到: 】
: 从数学基础角度来说,0必须是自然数。
: 现代数学是建立在集合论基础上的,集合论的第一条公理就是 空集公理“存在一个集合它没有任何元素” 这个集合被定义为空集。
: 自然数的基本公理系统是皮亚诺公理系统。该系统的模型是以 空集 作为0,然后定义 n+1=n并上{n}。容易在这个模型上建立加、乘运算并满足全部的皮亚诺公理。这样自然数理论就成为了集合论的自然的推论。
: ...................
--
FROM 39.149.15.*
皮亚诺这个体系里从1开始定义自然数也没有任何问题。
【 在 tc 的大作中提到: 】
: 算术系统的公理化构造:
: 皮亚诺公理:
: 1) 0是自然数;
: ...................
--
FROM 39.149.15.*
除和除以的问题是语文问题,中国传统上对于除法的描述。
【 在 fr5k 的大作中提到: 】
: 3除2,等于,2除以3。
: 初中物理,质量的定义,物体所包含物质的多少。60千克的人,到了月球还是60千克。
: 这些个问题就是考试扣了分拉倒,毫无意义。就像交通牌,不认识的才能罚款。
: ...................
--
FROM 39.149.15.*
是
【 在 johnsonshu 的大作中提到: 】
: 这是全球数学家的共识吗?
: 发自「今日水木 on Mi 10」
--
FROM 39.149.15.*