应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【求助】有人知道怎么利用自然数的定义证明1+1=2吗？
北京石油化工学院2026年研究生招生接收调剂公告
192/2返回列表上一页12
查看: 1537  |  回复: 18
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前主题已经存档。

lca3037

管理员

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
★
formleaf(金币+1,VIP+0):谢谢你的细心指正！ 11-23 07:46
引用回帖:
Originally posted by duxueju at 2009-11-22 18:25:
好,如果我们假设1+1不等于2,那么不等式两端同减去1,就有1不等于1成立,显然这是荒谬的,那么只能说明我们的假设是不对的,这就说明1+1不可能不等于2,从而命题得证

这个我就看不懂了，假设了1+1不等于2，那么2-1=1会成立麽
赞一下(6人) 回复此楼
11楼2009-11-22 23:53:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

happyness7783

实习版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！

duxueju的回帖是不负责任的

★
Doctorcbw(金币+1,VIP+0):谢谢参与，希望看到你自己的意见 12-8 09:13
duxueju   这个问题不是逻辑问题  不能这样证明
赞一下(6人) 回复此楼
12楼2009-12-07 21:42:48
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

happyness7783

管理员

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！

首先说明duxueju的错误

★ ★
小雨萌萌(金币+2):谢谢讨论，数学需要你 2010-03-27 19:47
好,如果我们假设1+1不等于2,那么不等式两端同减去1,就有1不等于1成立,显然这是荒谬的,那么只能说明我们的假设是不对的,这就说明1+1不可能不等于2,从而命题得证
**********由于减法定义为加法的逆运算，因此，若无法证明1+1等于2 ，则同理不能说明2-1=1，所以duxueju得论证其实是循环论证  因此是错的
另外，6楼斑竹的证明是正确的   安定理照猫画虎即可证明
赞一下(1人) 回复此楼
13楼2009-12-14 20:33:23
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lgx8835

主管区长

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
怀特海和罗素的定理没看明白，主要是符号看不懂。
赞一下 回复此楼
14楼2009-12-14 21:03:58
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sleeper2

兑换贵宾

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
★ ★
javeey(金币+1):谢谢参与，鼓励一下新虫 2010-03-27 08:49
小雨萌萌(金币+1): 2010-03-27 19:46
证明分4步：

1. 定义自然数 1.
2. 定义任意自然数 n 的后继为 n + 1
3. 定义自然数 1 的后继为 2.
4. 由前三条， 我们得到 1＋1 ＝ 2

注：
前两条属于皮亚洛公理。
第3条是人为定义。
赞一下(2人) 回复此楼
15楼2010-03-27 04:34:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

javeey

新虫

力拔山兮气盖世
引用回帖:
Originally posted by sleeper2 at 2010-03-27 04:34:38:
证明分4步：

1. 定义自然数 1.
2. 定义任意自然数 n 的后继为 n + 1
3. 定义自然数 1 的后继为 2.
4. 由前三条， 我们得到 1＋1 ＝ 2

注：
前两条属于皮亚洛公理。
第3条是人为定义。

证明的很好！思路清晰，有说服力
赞一下 回复此楼
早起的鸟儿有虫吃，早起的虫儿被鸟吃
16楼2010-03-27 09:01:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lizh714285

版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
★ ★ ★
小雨萌萌(金币+3):源于教材，高于教材 2010-03-27 19:46
1+1=2, 不是需要证明的。

数学体系首先约定了自然数集合的定义——有自然数1； 每个自然数有后继，且可对后继命名分辨。（1的后继命名为2，2的后继是3等等）

加法不过是一种算法，虽然是最自然的一种算法，但它终究是一种算法。（对某集合的两个元施行，而得到第三个元的“映射”）

在自然数集合上定义的加法，可以归纳为： n+1 =(n的后继)；  n+(m的后继）=（n+m）的后继. 两条基础规则。
在整数、有理数、无理数、复数等集合上的加法算法，是在自然数集合上加法算法的推广。

由此可见，1+1=2是加法的算法定义（按第一项规则，作为普通成员的自然数1，加上第一项规则特指的自然数1，等于作为普通成员自然数1的后继，即等于2）。

加法算法是一种广泛到不能再广泛的算法了，但它终究是一种算法，就像是一种模型，谁都可以用，到处可以用。

[ Last edited by lizh714285 on 2010-3-27 at 17:06 ]
赞一下(1人) 回复此楼
17楼2010-03-27 10:38:23
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lizh714285

管理员

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
补充，加法基础规则还要加上：交换律成立一条。
赞一下 回复此楼
18楼2010-03-27 10:43:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

iceflame

实习版主

优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！优秀！！有木有！！！
★
小雨萌萌(金币+1):谢谢提供材料。 2010-03-28 11:51
建议楼主看看公理化集合论的书，像这些问题只有从公理化的角度才能给出一个无懈可击的解答，1+1=2，里面涉及什么是1，什么是+。而这些只有从公理出发才能定义。
赞一下(1人) 回复此楼
19楼2010-03-28 11:50:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 lgx8835 的主题更新
192/2返回列表上一页12
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 085601材料工程找调剂 +18 oatmealR 2026-03-29 19/950 2026-04-01 14:36 by chenqifeng666
[考研] 一志愿同济大学323分（080500）求调剂 +4 yikeniu 2026-04-01 4/200 2026-04-01 14:06 by asdfzly
[考研] 材料调剂 +11 一样YWY 2026-03-31 11/550 2026-04-01 11:35 by wangjy2002
[考研] 一志愿华南师范361分，化学求调剂 +4 Nicole88888 2026-04-01 4/200 2026-04-01 10:08 by 唐沐儿
[考研] 085701环境工程，267求调剂 +17 minht 2026-03-26 17/850 2026-04-01 09:11 by xiayizhi
[考研] 362求调剂 +10 西南交材料专硕3 2026-03-31 10/500 2026-04-01 08:29 by JourneyLucky
[考研] 070300化学求调剂 +12 小黄鸭宝 2026-03-30 12/600 2026-03-31 19:15 by 253863592
[考研] 化学308分调剂 +11 你好明天你好 2026-03-30 12/600 2026-03-31 19:14 by 杨金金金
[考研] 材料工程085601数二英一335求调剂 +5 双马尾痞老板2 2026-03-31 5/250 2026-03-31 19:07 by Wang200018
[考研] 江苏苏北高校诚邀调剂同学 +3 zzll406 2026-03-31 3/150 2026-03-31 16:54 by 及时行乐fan
[考研] 315求调剂 +6 akie... 2026-03-28 7/350 2026-03-31 16:48 by asdfzly
[考研] 286求调剂 +5 丢掉懒惰 2026-03-27 8/400 2026-03-31 11:27 by Delta2012
[考研] 266分，求材料相关专业调剂 +10 哇呼哼呼哼 2026-03-30 12/600 2026-03-31 11:00 by 熊一刀
[考研] 266求调剂 +3 哇呼哼呼哼 2026-03-29 3/150 2026-03-31 10:06 by cal0306
[有机交流] 考研调剂 +8 watb 2026-03-26 8/400 2026-03-30 18:40 by 544594351
[考研] 求调剂 +10 家佳佳佳佳佳 2026-03-29 10/500 2026-03-30 18:34 by 544594351
[考研] 310求调剂 +10 争取九点睡 2026-03-30 10/500 2026-03-30 16:45 by ztnimte
[考研] 348求调剂 +6 小懒虫不懒了 2026-03-28 6/300 2026-03-30 10:29 by Evan_Liu
[考研] 304求调剂 +6 曼殊2266 2026-03-27 6/300 2026-03-28 14:10 by 唐沐儿
[考研] 331环境科学与工程求调剂 +3 熠然好运气 2026-03-27 3/150 2026-03-28 04:11 by fmesaito
信息提示
关闭
请填处理意见
关闭