证明为什么1加1等于2?
根据皮亚诺自然数公理:
1.0属于N.
2.若x属于N,则x有且只有一个后继x'.
3.对任一个x属于N,皆有x'不等于0.
4.对任意x,y属于N,若x不等于y,则x'不等于y'.
扩展资料:
皮亚诺公理定义:
目的是定义自然数集合,首先需要承认的是集合具有的一些运算性质,例如:a=b时a,b代表的是同一个元素。
皮亚诺的这五条公理用非形式化的方法叙述如下:
Ⅰ、0是自然数;
Ⅱ、每一个确定的自然数a,都具有确定的后继数a' ,a'也是自然数(数a的后继数a'就是紧接在这个数后面的整数(a+1)。例如:1'=2,2'=3等等。);可是仅有这两个公理还不够完整地描述自然数,因为满足这两条的有可能不是自然数系统。
比如考虑由 0, 1 构成的数字系统,其中1的后继为0。这不符合我们对于自然数系统的期望,因为它只包含有限个数。因此,我们要对自然数结构再做一下限制:
Ⅲ、0不是任何自然数的后继数;但这里面的漏洞防不胜防,此时仍不能排除如下的反例:数字系统 0, 1, 2, 3,其中3的后继是3。看来,我们设置的公理还不够严密,我们还得再加一条。
Ⅳ、不同的自然数有不同的后继数,如果自然数b、c的后继数都是自然数a,那么b=c;最后,为了排除一些自然数中不应存在的数(如 0.3),同时也为了满足一会儿制定运算规则的需要,我们加上最后一条公理。
Ⅴ设S⊆N,且满足2个条件(i)0∈S;(ii)如果n∈S,那么n'∈S。则S是包含全体自然数的集合,即S=N。(这条公理也叫归纳公理,保证了数学归纳法的正确性)
注:归纳公理可以用来证明0是唯一不是后继数的自然数,因为令命题为“n=0或n为其它数的后继数”,那么满足归纳公设的条件。若将只考虑正整数,则公理中的0要换成1,自然数要换成正整数。
参考资料:百度百科-皮亚诺公理
推荐于2017-11-25
很明显,(2)是一的推论 (2)已经被证明,是前苏联著名数学家伊·维诺格拉多夫用“圆法”和他自己创造的“三角和法”证明了充分大的奇数都可表为三个奇素数之和,就是著名的三素数定理。这也是目前为止,歌德巴赫猜想最大的突破。 在歌德巴赫猜想的证明过程中,还提出过这么个命题:每一个充分大的偶数,都可以表为素因子不超过m个与素因子不超过n个的两个数之和。这个命题简记为“m+n” 显然“1+1”正是歌德巴赫猜想的基础命题,“三素数定理”只是一个很重要的推论。 1973年,陈景润改进了“筛法”,证明了“1+2”,就是充分大的偶数,都可表示成两个数之和,其中一个是素数,另一个或者是素数,或者是两个素数的乘积。陈景润的这个证明结果被称为“陈氏定理”是至今为止,歌德巴赫猜想的最高记录.最后要证明的是1+1 给你看一个假设: 用以下的方式界定0,1和2 (eg. qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44): 0 := {x: x ={y: ~(y = y)}} 1 := {x: y(yεx.&.x\{y}ε0)} 2 := {x: y(yεx.&.x\{y}ε1)} 〔比如说,如果我们从某个属于1这个类的分子拿去一个元素的话,那麽该分子便会变成0的分子。换言之,1就是由所有只有一个元素的类组成的类。〕 现在我们一般采用主要由 von Neumann 引入的方法来界定自然数。例如: 0:= ∧, 1:= {∧} = {0} =0∪{0}, 2:= {∧,{∧}} = {0,1} = 1∪{1} [∧为空集] 一般来说,如果我们已经构作集n, 那麽它的后继元(successor) n* 就界定为n∪{n}。 在一般的集合论公理系统中(如ZFC)中有一条公理保证这个构作过程能不断地延续下去,并且所有由这构作方法得到的集合能构成一个集合,这条公理称为无穷公理(Axiom of Infinity)(当然我们假定了其他一些公理(如并集公理)已经建立。
〔注:无穷公理是一些所谓非逻辑的公理。正是这些公理使得以Russell 为代表的逻辑主义学派的某些主张在最严格的意义下不能实现。〕 跟我们便可应用以下的定理来定义关于自然数的加法。 定理:命"|N"表示由所有自然数构成的集合,那麽我们可以唯一地定义映射A:|Nx|N→|N,使得它满足以下的条件: (1)对于|N中任意的元素x,我们有A(x,0) = x ; (2)对于|N中任意的元素x和y,我们有A(x,y*) = A(x,y)*。 映射A就是我们用来定义加法的映射,我们可以把以上的条件重写如下: (1) x+0 = x ;(2) x+y* = (x+y)*。 现在,我们可以证明"1+1 = 2" 如下: 1+1 = 1+0* (因为 1:= 0*) = (1+0)* (根据条件(2)) = 1* (根据条件(1)) = 2 (因为 2:= 1*) 〔注:严格来说我们要援用递归定理(Recursion Theorem)来保证以上的构作方法是妥当的,在此不赘。] 1+ 1= 2"可以说是人类引入自然数及有关的运算后"自然"得到的结论。但从十九世纪起数学家开始为建基于实数系统的分析学建立严密的逻辑基础后,人们才真正审视关于自然数的基础问题。我相信这方面最"经典"的证明应要算是出现在由Russell和Whitehead合着的"Principia Mathematica"中的那个。
我们可以这样证明"1+1 = 2": 首先,可以推知: αε1 (∑x)(α={x}) βε2 (∑x)(∑y)(β={x,y}.&.~(x=y)) ξε1+1 (∑x)(∑y)(β={x}∪{y}.&.~(x=y)) 所以对于任意的集合γ,我们有 γε1+1 (∑x)(∑y)(γ={x}∪{y}.&.~(x=y)) (∑x)(∑y)(γ={x,y}.&.~(x=y)) γε2 根据集合论的外延公理(Axiom of Extension),我们得到1+1 = 2
皮亚诺公理,也称皮亚诺公设,是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。
皮亚诺的这五条公理用非形式化的方法叙述如下:
①0是自然数;
②每一个确定的自然数 a,都有一个确定的后继数x' ,x' 也是自然数(一个数的后继数就是紧接在这个数后面的数,例如,1的后继数是2,2的后继数是3等等);
③如果b、c都是自然数a的后继数,那么b = c;
④0不是任何自然数的后继数;
⑤设S是自然数集的一个子集,且(1)0属于S;(2)如果n属于S,那么n'也属于S。
(这条公理也叫归纳公理,保证了数学归纳法的正确性)
更正式的定义如下: 一个戴德金-皮亚诺结构是这样的一个三元组(X, x, f),其中X是一个集合,x为X中一个元素,f是X到自身的映射,且符合以下条件:
x不在f的值域内;
f为一个单射;
若x∈A 且 " a∈A 蕴涵 f(a)∈A",则A=X。
该结构所引出的关于自然数集合的基本假设:
1.N(自然数集)不是空集;
2.N到N内存在a→a'的一一映射;
3.后继元素映射的像的集合是N的真子集,事实上即N\{1}(或N\{0});
4.若N的子集P既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与N相等。
1+1的证明:
∵1+1的后继数是1的后继数的后继数,即3,
∴2的后继数是3。
根据皮亚诺公理③,可得:1+1=2。