超小小中大超大
数学多元论（三） (7-7)
好书推荐：
数学联邦政治世界观、
师尊：徒弟别乱来、
我在末世世界开超市、
冬华录、
穿越兽世做大厨、
异世界图书馆、
沅世无忧，结雨凝之……、
炮灰自救指南、
倾世恋人：九尘君主的天才小君妃、
灵契：阴冥司、
但下面的事实告诉我们，在处理形如Con(T)的语句时，我们必须对T的具体编码方式保持谨慎。
通过一些处理，我们甚至可以把“ZFC是一致的”这则Π0 1 语句变得任意强。
事实固定对集合论语言的编码，令{σi }i∈N 是对集合论语言语句的能行枚举。
数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。
相关小说
连载中
- 喜：黄粱一梦
- 一群小羊生活在一个快乐的草原里，但是却来了不速之客。表面人畜无害的面孔下是否存在一个恶意满满的灵魂呢？朋友真的可信吗？你要坚信朋友不会背叛你......
- 0.3万字1个月前
连载中
- 领袖之证：第十四位元祖
- 0.2万字1个月前
连载中
- 我大抵是幸福的
- 一个小女孩的幻想
- 0.7万字1个月前
连载中
- 我在无限游戏里破局
- [双男主+双强1v1+无限流+爽文+逃生直播]时轩瑾重回游戏开始的时空。在所有玩家都对突如其来的副本游戏避之不及的时候，时轩瑾掐着上一次每一......
- 1.4万字1个月前
连载中
- 沐柏
- （已烂尾）从我前面写乱了，所以最后从三十九章开始看，我在三十九章做了一个总结上文。从沐芯，一个不起眼的二重天小仙，因为一次下凡玩，对月老（仙......
- 14.0万字1个月前
连载中
- 穿越之叶府三小姐
- 11.1万字1个月前