如题所述
做个加法实验：拿出一个苹果，摆在那里，再拿出一个苹果，也摆在那里，数一数是几个苹果。拿出一根筷子摆在那里，再拿出一根筷子，也摆在那里，数一数是几根筷子......
总结所有的实验结果，得出结论：1+1=2
总结所有的实验结果，得出结论：1+1=2
温馨提示：答案为网友推荐，仅供参考
第1个回答 2020-04-03
用假设理证明假设理
数学就是这样发展的
数学有益于生活
科技发展
所以需要一些既定的道理
来用
所以这个既定的道理
是不可证的
只是因为方便数学计算从而发展出来的理论。
数学计算是人思维活动的具体化
一个具体的东西要证明一个不可捕捉的思维，那就是用石头去砸虚空
怎么可能砸的到
数学就是这样发展的
数学有益于生活
科技发展
所以需要一些既定的道理
来用
所以这个既定的道理
是不可证的
只是因为方便数学计算从而发展出来的理论。
数学计算是人思维活动的具体化
一个具体的东西要证明一个不可捕捉的思维，那就是用石头去砸虚空
怎么可能砸的到
第2个回答 2020-01-13
皮亚诺公理
皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。
皮亚诺的这五条公理用非形式化的方法叙述如下：
①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.......后为了加强理论基础而设立的
皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。
皮亚诺的这五条公理用非形式化的方法叙述如下：
①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.......后为了加强理论基础而设立的
