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

数学公理

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

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

相关小说

一个誓言走一世 连载中
一个誓言走一世
情终须缘
复合√回家√蝶眸殉情黑化……(反正不虐,很甜)一笑倾国,再笑倾城。
10.1万字6个月前
冷宫九公主要翻身 连载中
冷宫九公主要翻身
某家女主
因为不想弄这么多任务,所以就直接只有旁白仿炮灰闺女的生存方式
60.9万字6个月前
秋桂花风 连载中
秋桂花风
蛙小呱
我oc小说,因为画技和屎一样,所以来写小说了
0.5万字6个月前
际缘 连载中
际缘
清沐兮颜
0.3万字5个月前
暶夜 连载中
暶夜
槑槑乐
我从深渊里来为了生存为了自由为了更迭
6.3万字5个月前
萤讯末期 连载中
萤讯末期
池年陌
人与AI的禁忌之恋
1.7万字1个月前