怎样证明1+1=2

慕野清流
2012-04-17 · TA获得超过3.6万个赞
知道大有可为答主
回答量:5141
采纳率:80%
帮助的人:2348万
展开全部
皮亚诺公理
  皮亚诺公理,也称皮亚诺公设,是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。   皮亚诺的这五条公理用非形式化的方法叙述如下:   ①1是自然数;   ②每一个确定的自然数a,都有一个确定的后继数a' ,a' 也是自然数(一个数的后继数就是紧接在这个数后面的数,例如,1的后继数是2,2的后继数是3等等);   ③如果b、c都是自然数a的后继数,那么b=c;   ④1不是任何自然数的后继数;   ⑤任意关于自然数的命题,如果证明了它对自然数1是对的,又假定它对自然数n为真时,可以证明它对n' 也真,那么,命题对所有自然数都真。(这条公理也叫归纳公设,保证了数学归纳法的正确性)   注:归纳公设可以用来证明1是唯一不是后继数的自然数,因为令命题为“n=1或n为其它数的后继数”,那么满足归纳公设的条件。   若将0也视作自然数,则公理中的1要换成0。
编辑本段更正式的定义
  一个戴德金-皮亚诺结构为一满足下列条件的三元组(X, x, f):   1、X是一集合,x为X中一元素,f是X到自身的映射;   2、x不在f的值域内;   3、f为一单射。   4、若A为X的子集并满足x属于A,且若a属于A, 则f(a)亦属于A则A=X。   该结构与由皮阿罗公理引出的关于自然数集合的基本假设是一致的:   1、P(自然数集)不是空集;   2、P到P内存在a->a直接后继元素的一一映射;   3、后继元素映射像的集合是P的真子集;   4、若P任意子集既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与P重合。   能用来论证许多平时常见又不知其来源的定理!   例如:其中第四个假设即为应用极其广泛的归纳法第一原理(数学归纳法)的理论依据。

这就是数字相加的理论基础:当然这是在人们根据经验1+1=2 1+2=3.......后为了加强理论基础而设立的一个理论,这就成了自然数相加的理论基础
peter76543
2013-04-15
知道答主
回答量:4
采纳率:0%
帮助的人:5806
展开全部
皮亚诺公理
  皮亚诺公理,也称皮亚诺公设,是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。   皮亚诺的这五条公理用非形式化的方法叙述如下:   ①1是自然数;   ②每一个确定的自然数a,都有一个确定的后继数a' ,a' 也是自然数(一个数的后继数就是紧接在这个数后面的数,例如,1的后继数是2,2的后继数是3等等);   ③如果b、c都是自然数a的后继数,那么b=c;   ④1不是任何自然数的后继数;   ⑤任意关于自然数的命题,如果证明了它对自然数1是对的,又假定它对自然数n为真时,可以证明它对n' 也真,那么,命题对所有自然数都真。(这条公理也叫归纳公设,保证了数学归纳法的正确性)   注:归纳公设可以用来证明1是唯一不是后继数的自然数,因为令命题为“n=1或n为其它数的后继数”,那么满足归纳公设的条件。   若将0也视作自然数,则公理中的1要换成0。
编辑本段更正式的定义
  一个戴德金-皮亚诺结构为一满足下列条件的三元组(X, x, f):   1、X是一集合,x为X中一元素,f是X到自身的映射;   2、x不在f的值域内;   3、f为一单射。   4、若A为X的子集并满足x属于A,且若a属于A, 则f(a)亦属于A则A=X。   该结构与由皮阿罗公理引出的关于自然数集合的基本假设是一致的:   1、P(自然数集)不是空集;   2、P到P内存在a->a直接后继元素的一一映射;   3、后继元素映射像的集合是P的真子集;   4、若P任意子集既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与P重合。   能用来论证许多平时常见又
这就是数字相加的理论基础:当然这是在人们根据经验1+1=2 1+2=3.......后为了加强理论基础而设立的
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
下桖福C
2012-04-17 · TA获得超过282个赞
知道答主
回答量:69
采纳率:0%
帮助的人:43.8万
展开全部
做个加法实验:拿出一个苹果,摆在那里,再拿出一个苹果,也摆在那里,数一数是几个苹果。拿出一根筷子摆在那里,再拿出一根筷子,也摆在那里,数一数是几根筷子......
总结所有的实验结果,得出结论:1+1=2
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
摩伏勒
2012-11-22 · TA获得超过5380个赞
知道小有建树答主
回答量:1596
采纳率:33%
帮助的人:478万
展开全部
用假设理证明假设理 数学就是这样发展的 数学有益于生活 科技发展 所以需要一些既定的道理 来用 所以这个既定的道理 是不可证的 只是因为方便数学计算从而发展出来的理论。 数学计算是人思维活动的具体化 一个具体的东西要证明一个不可捕捉的思维,那就是用石头去砸虚空 怎么可能砸的到
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
匿名用户
2012-04-17
展开全部
这是定义的,呵呵!
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
收起 更多回答(4)
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式