Peano公理的第5条如何保证自然数模型里没有多余的数(如0.5)?
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/06/05 10:22:26
Peano公理的第5条如何保证自然数模型里没有多余的数(如0.5)?
如题,Peano公理定义了自然数,但有一处不解:
为什么用其中的数学归纳原理就可以把诸如0.5之类的数排除掉?
看Terence Tao
Analysis,感觉相应的地方不太理解,理不清头绪了.
比如Tao的书上写:
P(n)为
n不是半整数(形式上的,因为此处还没有定义“整数”,下同)
接着用归纳法证明.
(1)0不是半整数;
(2)假设n(n也就是任一个自然数的后继)不是半整数,要证明n++也不是半整数;
我的问题是,此处如何由 n不是半整数 推出 n++也不是半整数?
如题,Peano公理定义了自然数,但有一处不解:
为什么用其中的数学归纳原理就可以把诸如0.5之类的数排除掉?
看Terence Tao
Analysis,感觉相应的地方不太理解,理不清头绪了.
比如Tao的书上写:
P(n)为
n不是半整数(形式上的,因为此处还没有定义“整数”,下同)
接着用归纳法证明.
(1)0不是半整数;
(2)假设n(n也就是任一个自然数的后继)不是半整数,要证明n++也不是半整数;
我的问题是,此处如何由 n不是半整数 推出 n++也不是半整数?
这里真正的意思是:任何一个自然数都能通过对0取若干次后继得到,
也就是没有0,0++,(0++)++,...以外的数.
(当然,在没有自然数概念时,"若干"和"..."其实都是不严格的).
形式上:P(n):n是0或n是0的若干次后继.
于是(1) P(0)为真.
(2) 当P(n)为真时,易知P(n++)为真.
由数学归纳法原理,P(n)对于每个自然数都为真.
因为0,0++,(0++)++分别命名为0,1,2,...
所以上述结论就是说自然数只有0,1,2,...
也就是没有0,0++,(0++)++,...以外的数.
(当然,在没有自然数概念时,"若干"和"..."其实都是不严格的).
形式上:P(n):n是0或n是0的若干次后继.
于是(1) P(0)为真.
(2) 当P(n)为真时,易知P(n++)为真.
由数学归纳法原理,P(n)对于每个自然数都为真.
因为0,0++,(0++)++分别命名为0,1,2,...
所以上述结论就是说自然数只有0,1,2,...
如何证明公理3的推论3(两条平行的直线确定一个平面)
如何证明公理3的推论3(两条平行的直线确定一个平面)要全部过程的
从自然数1—24中取几个数能保证其中两个数的差是5的倍数.
天空没有多余的星星
北师大版初中数学选用的公理与几何原本的5条不一样
1、将要任意取几个不同的自然数,才能保证至少有两个数的差是5的倍数。
有没有自然数除以自然数等于圆周率的数?
至少取几个自然数才能保证它们当中一定有两个数的差是5的倍数
有没有“河流里没有一滴多余的水”这篇阅读的答案
CAD中如何快速删除多余重复的线!关键是我的图形里有的有重复的线,有的没有!我想快速的删除多余的重复线!
(2014•香坊区一模)如图,飞机机翼模型静止在台秤上,当电风扇用高速挡对着模型吹风时,台秤的示数比没有风速时_____
英语里的同义词太多,如保证.怎么区别呢?