Math 皮亚诺公理如何只构造自然数的集合而不构造其他集合
我开始真正的分析，并将其放在第一页（Peano假设） 至少在我的课本上是这样写的 公理1.2.1（皮亚诺假设）。存在一个集合N，其元素1en和函数s:N->N满足以下三个属性。 A.不存在使s（n）=1的n B函数s是内射的。 C设G为N的子集，N为as集。假设1eg，然后是s（G）eg，然后G=N 定义1.2.2。自然数的集合，表示为N，是存在于Peano假设中的集合 我的问题是，根据我对假设的理解，我们可以构造满足这三个性质的无限集。 例如 奇数={1,3,5,6，…}或 or={1,5,25635…}具有不同的s（n）偏离路线，但s（n）在假设中没有定义。Math 皮亚诺公理如何只构造自然数的集合而不构造其他集合,math,Math,我开始真正的分析，并将其放在第一页（Peano假设） 至少在我的课本上是这样写的 公理1.2.1（皮亚诺假设）。存在一个集合N，其元素1en和函数s:N->N满足以下三个属性。 A.不存在使s（n）=1的n B函数s是内射的。 C设G为N的子集，N为as集。假设1eg，然后是s（G）eg，然后G=N 定义1.2.2。自然数的集合，表示为N，是存在于Peano假设中的集合 我的问题是，根据我对假设的理解，我们可以构造满足这三个性质的无限集。 例如 奇数={1,3,5,6，…}或 or={1,5,2
这些属性是如何唯一地标识自然数集的？请将其置于这里而不是在这里。它不定义N，如你所知，但是这样定义的N可以像N一样使用。如果你教孩子们显示增加的手指数并计算“1, 5, 25，125, 625”（即我们所考虑的“* 5”而不是“+1”）。然后它可以像1,2,3,4,5那样使用。这基本上是一项协议。s（1）称为2或5，s（s（1））称为3或25。（顺便说一句，我看不出你的635中的逻辑，但这实际上是不相关的。）我投票结束这个问题，因为它与编程无关。