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

数学公理

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

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

相关小说

默祈 连载中
默祈
古灵精怪爱丽丝
父母被怪物害死的小默羽拼了命逃到教堂保住了性命,成为了看守神明法宝的一位小咯咯。但有一天,宝物意外失踪了,而所有的一切罪责和嫌疑都纷纷指向了......
2.8万字8个月前
穿书后我在异世界当团宠帝姬 连载中
穿书后我在异世界当团宠帝姬
柳之之
神秘颜控少女沙小羊,某日在看完玛丽苏剧情的一本书后狠狠地吐槽了一番,结果证明……没事不要在背后说坏话Ծ‸Ծ,一觉醒来,她居然穿越到这本书里面......
8.1万字6个月前
重生之我是cpvp大佬然后打遍天下 连载中
重生之我是cpvp大佬然后打遍天下
踢歪大神
主角踢歪基地被毁,网站被黑,竟是24Min推波助澜!踢歪重生,势必要让24Min付出代价!本书又名基地被毁后我重生为世界第二pvper
3.3万字5个月前
(凹凸)梦境边缘,时之刃 连载中
(凹凸)梦境边缘,时之刃
城dawn
这些看似玩笑的话语,实则是我内心深处最真挚的誓言。有些话,藏在玩笑里,才敢让你听见。————————时斯:这些一定不仅仅是您的梦——————......
1.5万字4个月前
快穿之我在游戏里当大佬 连载中
快穿之我在游戏里当大佬
子非珏
南宫陌离和君沐泽从小是青梅竹马,全球有些人手腕上有倒计时而消失,他们到家KW游戏世界里,一路上一起和伙伴们通关副本,最终得到了真相……(南宫......
0.6万字4个月前
星骸之野 连载中
星骸之野
放眼有千秋
在钢铁与蒸汽交织的末日世界,五个残缺的灵魂被命运缠绕——玩世不恭的废品猎人握着斩断命运的铁剑。病弱的贵公子体内沉睡着毁灭的密码。追求完美的执......
1.7万字4周前