八一中文网

手机浏览器扫描二维码访问

第40章(第2页)

现在我们要证明1+1=2。

因为1=0,所以1+1可以写成1+0。

根据加法定义m+n=(m+n),当m=1,n=0时,1+0=(1+0)。

又因为前面已经证明1+0=1,所以(1+0)=1。

而我们之前定义2=1,所以1+1=2。

林云完成了基于皮亚诺公理体系的证明后,并没有停下思考的脚步。

他知道,数学的证明方法是多样的,从不同的角度出发,可能会得到不同的证明思路。

他开始思考集合论的方法。

在集合论中,数可以用集合来表示。

林云在笔记本上画下了一些简单的集合图形,开始从集合的角度进行证明。

他写道:“我们可以用集合的基数来定义自然数。

空集的基数为0,即|?|=0。”

然后,他定义了一个只包含空集的集合,这个集合的基数就是1,即|{?}|=1。

接着,他定义了一个包含前面两个集合的集合,这个集合的基数就是2,即|{?,{?}}|=2。

对于加法,他这样解释:“两个不相交集合的并集的基数等于这两个集合基数的和。”

他在纸上画了两个不相交的圆,分别代表两个集合A和b。

假设集合A的基数为1,即|A|=1,集合b的基数也为1,即|b|=1。

那么A和b的并集c=Aub。

因为A和b不相交,所以根据集合论中并集基数的定义,|c|=|A|+|b|。

又因为|A|=1,|b|=1,且c={?,{?}}(通过前面集合的定义可以得出),|c|=2。

所以1+1=2。

林云觉得这样的证明还不够直观,他又想到了从逻辑推理的角度来证明。

他在笔记本上写下了一系列的逻辑符号和推理过程:

设命题p(n)表示“1+n=(n+1)”

首先证明p(0)成立,即1+0=0+1。

根据加法的交换律(在数学体系中,加法交换律是可以通过公理推导出来的,这里为了简化证明过程,直接使用),1+0=0+1=1,所以p(0)成立。

假设p(k)成立,即1+k=(k+1)。

本周收藏榜
热门小说推荐
都市龙战

都市龙战

三年合约夫妻,三年入赘为婿,只为伊人。可等来的结局,却是离婚。今日潜龙归天,龙啸九州!...

曼珠沙华之忘川

曼珠沙华之忘川

当墓地里流浪的大傻再次睁开眸子的时候,一切的一切终将从此改变。...

离婚后继承了亿万家产

离婚后继承了亿万家产

国际上最年轻的女首富苏楠低调现身机场,立即被记者拥堵。记者苏总,你和傅总的三年婚姻为什么结束?女首富扬起笑容因为我得回家继承亿万家产当首富啊记者您一个月和十几个小鲜肉传出的绯闻是真的吗?女首富还没说话,不远处一道冰冷的声音传来,假的。人群中傅邺川走出来,我家也有亿万家产,不如请苏总继承我家财产?...

快穿攻略:病娇哥哥,帅炸天!

快穿攻略:病娇哥哥,帅炸天!

祸国妖妃白仙仙被雷劈死了。举国欢呼!他们不知道白仙仙只是被一个快穿系统砸中了。系统妖妃娘娘,你想拥有倾国倾城的美貌吗?想过开着挂的人生吗?想把黑化的男主玩弄于鼓掌之中吗?那就要拯救病娇,迎男而上!白仙仙呐,想想就刺激持靓行凶,本宫才是大反派...

万古圣尊

万古圣尊

绝世强者林凡,被人偷袭陨落,十年后转世重生,附身在一名少年武徒身上,面对着今生同门的嘲笑和欺压,凭借前世的修为知识,将敌人狠狠踩踏,用他们的鲜血,成就自己万古圣尊的辉煌。...

秒杀冥王,纨妃乱天下

秒杀冥王,纨妃乱天下

她聂无歌,左相府嫡女,因软弱无能,纨绔不羁,被休而亡!浴火重生,潋滟惊人,她发誓要让曾经欺凌她的人血债血还。说她纨绔?那她就挥金如土,纨绔到底说她狠毒?那她就毒遍天下,狠毒到底说她狐媚?那她就勾尽天下男儿心,狐媚到底。本着你敬我一尺,我便敬你一丈,你若不仁,我定不义,你若害我,我定将你挫骨扬灰的做人信念,她坐实了纨绔狠毒狐媚之名。自然而然的,她用自己纤纤素手,去谱写盛世荣华下的锦绣篇章,落实了自己一世安稳,睡觉睡到自然醒,数钱数到手抽筋的伟大梦想。坑爹二人转坑爹一夜黑风高,御花园的某一个角落里,一男一女密谋着非要说怀孕吗?嗯,必须啊,不然他们怎么可能会放人?那我怀孕几个月了?额,就说五个月吧。你确定怀孕五个月是我这样的?唔,那说七个月?很快就可以生了,估计他们就放人了。滚蛋,你见过怀胎七月肚子是扁扁的嘛?宝贝,我没怀过,不知道。坑爹二宝贝,听说你当年想要逃跑呢,害得我伤心了好久。然后呢?然后我就决定让你赶紧怀上我的孩子。接着呢?接着,娘子,我们是不是该相互取暖了?某娘子面色变唔,太大?胀?冷?(自己YY)...

每日热搜小说推荐