超小小中大超大

希尔伯特纲领 (5-5)

好书推荐：数学联邦政治世界观、师尊：徒弟别乱来、我在末世世界开超市、冬华录、穿越兽世做大厨、倾世恋人：九尘君主的天才小君妃、异世界图书馆、沅世无忧，结雨凝之……、炮灰自救指南、双生劫、

2.1.1 二阶算术及其子系统

我们关心的形式系统是可以作为数学基础的系统，即它应该能够形式化一部分数学。希尔伯特指出二阶算术已经可以形式化古典数学。因为我们一般关注的是二阶算术或集合论的子系统。

二阶算术的语言 L₂ 是一个二阶语言，它在一阶逻辑的基础上加上了二阶谓词变元和二阶量词，以及相应的逻辑公理。我们将一阶变元称为自然数

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。

相关小说

连载中

连载中

连载中

快穿之恶女攻略: 许青山; 一切在活命面前都不值一提。心机女主，有点脑的苏文在花音生命即将结束时遇见一个名为系统的东西，从此便开始了她温柔（婊气）的攻略之旅。她是最温柔......; 20.2万字1个月前

连载中

十二星，命定守护者: 羊崽崽a; 这本书是解释作者小号“丘妄雪”那号上«新葫，命中塔罗»的十二星座守护者的故事，主要是要怎么成为星界十二星座守护者的，然后为什么会变坏。之所以......; 2.8万字1个月前

连载中

吾凰在上之用尽一生: 我是0栓Q; 小希归来，小白娶妻。小希失望，知白被迫。然后原谅。神律归来，追求小希。爱恨情仇，等你来看。么么哒！; 0.8万字1个月前

连载中

黑猫警长和西塔之恋: 该用户已注销; “警长，你为什么要这样对我？”——————by西塔“雨晴，你不要缠着我了！”——————by黑猫警长“西塔！你给我等着！警长只能是我雨晴一个......; 0.2万字1个月前