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

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

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

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

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

相关小说

十铭:终致歉——刹那 连载中
十铭:终致歉——刹那
刹那乂
一位少女死后进入游戏开始找回记忆的热血故事“如果我的死,能换到重头再来……”“好久不见”“嗯,好久不见”本书为个人oc世界!原创!禁止抄袭角......
0.4万字5个月前
蚊子 连载中
蚊子
巟无
oc一号世界观而已
0.5万字5个月前
数学联邦政治世界观 连载中
数学联邦政治世界观
拓崇
原创数学类小说,以构造圈数学量级为发展目标。
3388.9万字5个月前
重生?迪恩你个老六! 连载中
重生?迪恩你个老六!
罪恶中介阎君
机设,男迪,非拟人动画迪预警!迪恩重生后开始“摆烂”,剧情又会按照怎样的方向发展呢?作者雷迪息!!!
3.0万字5个月前
恋与伤 连载中
恋与伤
D王后
玄幻+虐恋+权谋+命相系+一本坏人泛滥的小说。讲述了四个大陆之间的感情纠葛。长篇小说!在欺骗,利用,谎言,杀戮,绝情中渲染虐的爱恋。每一次相......
78.0万字5个月前
墨缘聚 连载中
墨缘聚
姜丝揉丹
“死亡见证你我的相遇相知,是终结还是开始”
0.2万字2个月前