八一中文网

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

第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)。

本周收藏榜
热门小说推荐
独家宠婚:军长大人太野蛮

独家宠婚:军长大人太野蛮

一次意外,洛安然错把军长大人当成相亲的对象。知晓真相,她再次约见相亲对象的时候,军长大人却突然出现,把她拉到车厢内,凉薄无情地说,你是我的女人,再敢见别的男人,我会打断你的腿。她看着眼前这酷帅的男人,挣扎说我们才见过一次面。他贴近她,吻住她的唇,道你要钱,我给你,我缺一个妻子,你来当看着他压过来,她羞羞地说成交,不过,你现在不会是要车震吧?就酱紫,洛安然也不知道是福还是祸地嫁入了豪门从此,冷漠沉峻的大灰狼VS单纯善良的小绵羊,夜夜上演火花四射的‘你扑我跑’没羞耻的生活!...

王妃她不讲武德

王妃她不讲武德

宁孤舟把剑架在棠妙心的脖子上你除了偷怀本王的崽,还有什么事瞒着本王?她拿出一大堆令牌玄门鬼医门黑虎寨听风楼只有这些了!话落,邻国玉玺从她身上掉了下来,他她眼泪汪汪这些都是老东西们逼我继承的!众大佬你再装!...

穿成年代文男主前妻

穿成年代文男主前妻

穿成年代文男主前妻...

快穿系统:扑倒男神哪家强

快穿系统:扑倒男神哪家强

纳尼!睡一觉就被系统看中了?失去记忆的轻歌就这样被诡计多端的系统带走,过上了跨越无数平行世界生活,她从最初不情愿完成任务,到最后泡到男神,领取记忆,走上人生巅峰!男神集中营影帝男神√恶魔校草√邪魅吸血鬼√霸道总裁√网友大神√仙界扛把子√武林盟主轻歌无奈耸了耸肩,没有办法,谁让她魅力大。可是!为嘛每位男神都想将她压倒,换几个姿势,和他们大战几百回合呀!扑倒男神哪家强qq群567343817,欢迎诸位小天使来玩哈...

每日热搜小说推荐