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

数学公理

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

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

相关小说

有缘无分难相守 连载中
有缘无分难相守
🕊ღ田᭄ꦿ꯭🍾꧔ꦿ᭄芬ꦿ
一起爱而不得吧
1.3万字4个月前
虚假的象牙塔 连载中
虚假的象牙塔
趁醉眠
“当我让他的画享誉世界时,我将取走他的生命——毕竟伟大的作品,是不可再生的,不是吗?”这是理想的象牙塔,也可以是一本充满欲望的故事书贪婪的饕......
0.3万字3个月前
际缘 连载中
际缘
钰柳州
【双男主】+【回忆杀】+【小甜饼】+【幻想】霁清轩和顾闫旭认识,相识许多年,却在结婚几年后出轨。顾闫旭在医院好似出现了幻觉,看到了18岁的霁......
2.0万字3个月前
只为一个明天的人们 连载中
只为一个明天的人们
墨雨岚溪
在一段荒唐而遥远的历史中,西煌帝国统治着几乎整个大陆。表面上,其疆域广袤无垠,城镇繁华喧嚣,商队往来不绝,欢声笑语不断。然而,实则内部腐败不......
0.5万字3个月前
深妖姬之三面妲己 连载中
深妖姬之三面妲己
都值得我前进
婠音妲曦,她是被三面妲己重生转世后尚未形成人形的一只九尾狐女妖的妖体给附体的一位銀朝邻国婠音国公主
0.1万字1个月前
泰版流星花园:奇妙的邂逅 连载中
泰版流星花园:奇妙的邂逅
瑾黎Aa_
【2025.3.6完结】女主有一个奇妙的能力,就是变成一个胖嘟嘟的,可可爱爱的小女孩。女主通过变成小女孩来作弄f4,后来被Ren发现身份........
6.7万字3周前