皮亚诺定理是如何将小数从自然数中剔除出去的？

jzkyllcjl

定义3：元素个数为有限理想自然数的正常集合叫做有穷自然数集合；若以有穷自然数集合为项的无穷序列的元素个数序列的趋向为包含所有自然数的元素个数为非正常实数+∞的想象性自然数集合，则称：这样的元素个数为非正常实数+∞的含有所有自然数的，不可构造完毕的想象性质的理想性无穷性质的自然数集合；且称N=｛0，1，2，3，……｝为非正常集合。

wufaxian

luyuanhong 发表于 2022-9-29 06:36
问 为什么当 n 是一个自然数时，有 n++ = n+1 ？

答 在陶哲轩实分析的书中，有下列定义：

谢谢lu老师回复。关键是截图当中蓝线部分为什么成立。怎么把小数剔除掉？

elim

jzkyllcjl 发表于 2022-9-29 00:12
定义3：元素个数为有限理想自然数的正常集合叫做有穷自然数集合；若以有穷自然数集合为项的无穷序列的元素 ...

吃狗屎的 jzkyllcjl 认为他的书写就是构造自然数。其实后继函数是一个映射，它的定义域就是自然数这个无穷集合本身。jzkyllcjl 的理想性其实就是吃狗屎的理想。畜生不如。难怪它只配被抛弃。