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

特殊篇章(数学解释)十一

ZFC集合论系统能表述数学归纳原理吗?

原因其实很简单:所谓的二阶量词就是量化自然数集的子集,而“自然数集的子集”这个概念是可以在一阶集合论语言中定义的。数学归纳法在集合论语言中可以这么表述: ∀x∈Pω(x≠∅→∃y∈x(∀z∈y(z∉x))) ,这是标准的一阶集合论语句。

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

相关小说

聆笙集 连载中
聆笙集
棠鹤begonia
2.6万字8个月前
只为一个明天的人们 连载中
只为一个明天的人们
墨雨岚溪
在一段荒唐而遥远的历史中,西煌帝国统治着几乎整个大陆。表面上,其疆域广袤无垠,城镇繁华喧嚣,商队往来不绝,欢声笑语不断。然而,实则内部腐败不......
0.5万字6个月前
女主重生后,只想独自美 连载中
女主重生后,只想独自美
洛栀攸
作者新手小白,写的不好的地方,可以说出来,我会改的。
0.7万字4个月前
白痴我在结界当猎人 连载中
白痴我在结界当猎人
淼淼猫_8697846306955834
弑神,一切都是喜剧,世界永远也跳不出被控制的命运,我们都是演员。都是表演者,都是为了取悦他人,取悦那个控制我们的人
0.7万字4个月前
一花枝 连载中
一花枝
闲客之外
1.7万字2个月前
墨色轩:以命换天机 连载中
墨色轩:以命换天机
狸晟
深夜的旧城区街道空无一人,我因妹妹失踪多日绝望徘徊,当时钟敲响十下,街角突然浮现一座挂着紫色灯笼的阴森小楼,雕花木门无声开启,穿紫裙黑袍的女......
1.4万字2个月前