皮亚诺公理第三条，0不是任何自然数的后继数。并没有说“只有0不是任何自然数的后继数”。定义0的...
则这个子集Ｑ既可以是自然数集也可以是包含自然数集的Ｔ中其它符合条件的子集，例如Ｔ本身，因此与公理...
对皮亚诺公理第五条有..在前4条定义了0,以及0的后继,还有不循环到起点或任何一个之前的数以后。个人认为自然数系已经就此扩充完毕。为什么还会出现0,1.5,1,2,2.5,3...这种集合...0的后继为0++而
对皮亚诺公理第五条有..对皮亚诺公理第五条有疑惑,在前4条定义了0,以及0的后继,还有不循环到起点或任何一个之前的数以后。个人认为自然数系已经就此扩充完毕。为什么还会出现0,1.5,1,2,2.5,3...这种集合.
对皮亚诺公理第五条有..对皮亚诺公理第五条有疑惑,在前4条定义了0,以及0的后继,还有不循环到起点或任何一个之前的数以后。个人认为自然数系已经就此扩充完毕。为什么还会出现0,1.5,1,2,2.5,3...这种集合.
看到了很多回答，都不错，我也试着回答一下：参考：《数学基础》
由归纳原理，所有的自然数满足性质P。对任意的a大于等于k，存在b，使得b+k=a 由b满足性质P，有a...
不可以，我们考虑以下的集合：｛x∈R｜x≠-1｝ 其中x的后继规定为通常意义下的x+1。
所以我们需要专门设置一条公理来保证，集合里的东西要么是0，要么是别人的后继，第五条就是用来干这个...