超小小中大超大
范畴论与格罗滕迪克宇宙 (3-3)
好书推荐：
师尊：徒弟别乱来、
数学联邦政治世界观、
我在末世世界开超市、
冬华录、
穿越兽世做大厨、
异世界图书馆、
沅世无忧，结雨凝之……、
炮灰自救指南、
倾世恋人：九尘君主的天才小君妃、
灵契：阴冥司、
而是他根据一阶逻辑和超出一阶逻辑的一些可定义性和力迫不变性相关的元数学性质，提炼出了一种“什么是证明、什么是validity”的抽象思路。
例如在一阶逻辑中，扮演“证明”角色的是有穷的字符串，也就是自然数，而在 Ω 逻辑中，扮演“证明”角色的则是universally Baire sets of reals.
这方面Peter Koellner有一篇写得很好的偏哲学的动机综述，叫Strong Logics of First and Second Order.
数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。
相关小说
连载中
- 星山凤之追梦少年
- “我，叫火凤凰，是星际医院的院长。”“我叫火星娃，是火星的火星国王。”“我叫金王子，是星际公安局的局长。”“我叫火山凤，是火星的奥运会冠军。......
- 5.4万字1个月前
连载中
- 秋雨忆事
- 0.1万字1个月前
连载中
- 天心恋之我可以依靠你吗？
- 注意提示一下：这个与原版的神兵小将没有关系
- 4.9万字1个月前
连载中
- 网恋男友是王爷
- MIC赵泳鑫，彝族小王爷和他酷爱百香果的网恋女友。（呆萌，想象力丰富，脑洞十分大！）
- 8.2万字1个月前
连载中
- 快穿之黑化合集
- 各种黑化少年大甩卖，不要99只要9毛9，买不了吃亏，买不了上当。总有一款是你喜欢的。【短篇爱情】温柔姐姐X偏执弟弟活泼青梅X黑化竹马高冷师傳......
- 5.6万字1个月前
连载中
- 浩海空灵
- 融灵儿初到异世对什么都不上心的她，唯独对吃的没有抵抗力。尤其是鱼，，，这是一个为了一口鱼把自己卖了还帮人数钱的故事。
- 7.4万字1个月前