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

数学公理

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

例如,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),接着再看更方便。

相关小说

锦年金缘 连载中
锦年金缘
浅和苏
很多年后,众人才知道,那年他们的遇见,早已注定……
0.6万字5个月前
六芒星之旅 连载中
六芒星之旅
白井空慕
即将成为下一位新神的白玖,在历练时经历的种种事情与磨难,最后迎来的会是什么?是要坚持自己的决定与旧神卡维斯特抗争还是归顺于他,成为傀儡?
2.1万字5个月前
魔法之语 连载中
魔法之语
yes莫
千年前的玛吉拉大陆,是一片生灵涂炭的世界。精灵女孩柒月意外被老师伊西斯所救,从此开始她漫长的一生……
2.9万字3个月前
快穿之万人嫌炮灰只想躺平 连载中
快穿之万人嫌炮灰只想躺平
邬溪临
简介查看评论区,宝宝们自行查看哦。
2.8万字2个月前
救命!这个外星人统治的世界! 连载中
救命!这个外星人统治的世界!
_白控
我,幸星海,需要拯救即将被外星人统治的水域。在白的帮助下,我来到了外星人统治的世界。将人类看做宠物?我不敢想下去了……
7.6万字2个月前
快穿,美色温柔刀 连载中
快穿,美色温柔刀
大师的兔子
以美色做上钩的饵强取豪夺酸爽文
2.3万字1个月前