数学联邦政治世界观
超小超大

数学公理

数学公理出自不完全归纳法.

例如,Peano公理就出自对有限个自然数的归纳,即从1+1=2∧2+1=3∧3+1=4等有限个例归纳出任意自然数n的后继为n'=n+1. 再如,等量代换公理也出自对有限个等量关系的归纳,即从0.5=½∧cos⅓π=½→cos⅓π=0.5等有限个例归纳出∀a, b, c(a=c∧b=c→a=b). 再如,外延公理也出自对有限个具体集合的归纳,即从形如{x, y, z}={x, z, y}={z, y, x}={y, z, x}的个例归纳出S₁=S₂↔S₁∩S₂=S₁∧S₁∩S₂=S₂. 一般地,任意数学公理都是不完全归纳法的推理结论,即

A(x)→R(x)

式中A为表征变元是一条公理的谓词,R为表征变元是一个不完全归纳法的谓词.

不完全归纳法本身就是一种证明方式,因而,严格地说,我们不能说数学公理无法被证明,只能说数学公理不能在某一论域内以完全归纳法证明或不能在某一论域内以演绎法证明,除非将论域推广(例如,只要将论域从自然数集N推广至整数集Z,即可证明Peano公理,从而使该公理转换为定理). 数学的严谨性,由其公理系统的无例外记录和基于该公理系统的形式演绎推理提供保证. 惟其如此,数学公理的可信度也由该公理的无例外记录提供保证,这与“烧红的烙铁都烫手”由无例外记录提供保证具有相同的逻辑原理.

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

异世界图书馆 连载中
异世界图书馆
镜蝶
〈别名:世界图书馆与少女梦谈〉一个偏远地区流传着一个传说,满月当空时,在荡漾着月辉的河中放下一只纸船,借着月光让纸船载着你一部分的灵魂,为你......
40.9万字6个月前
美:天选之人 连载中
美:天选之人
操控者
不许转载抄袭,模仿@操控者(模仿J.K罗琳的哈利波特)。角色已拟人前面的正在修改中,正文持续更新中
0.9万字6个月前
爱的破局计划 连载中
爱的破局计划
且听雨吟
《爱的破局计划》是新人气作者的作品,讲述了宋逸思意外成为穿越者,攻略他的竹马时京墨,成功了有10亿奖金,失败了就会消失在这个世界上,宋逸思失......
2.8万字5个月前
重生之我是cpvp大佬然后打遍天下 连载中
重生之我是cpvp大佬然后打遍天下
踢歪大神
主角踢歪基地被毁,网站被黑,竟是24Min推波助澜!踢歪重生,势必要让24Min付出代价!本书又名基地被毁后我重生为世界第二pvper
3.3万字4个月前
重生77次:疯批总裁的偏执索爱 连载中
重生77次:疯批总裁的偏执索爱
乂俊
5.5万字2个月前
渊中雀起 连载中
渊中雀起
三水叔
翎羽,身份高贵的小殿下,在某日自己的父神来找自己将一个任务交给自己去解决,他无奈,他好奇,他想去凡尘看看。北辰渊,大乾皇帝内定的太子,只是他......
2.8万字1个月前