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

完整性公理(数学公理)

完整性公理|3~|0:

|3:存在Vλ到自身的非平凡基本嵌入

也就是存在非自明初等嵌入j:Vρ→Vρ。

|2:V存在一个非平凡基本嵌入到包含Vλ的传递类M,λ为临界点上方的第一个不动点,

也就是非自明初等嵌入j:V→M,存在满足vρm且超过j临界点的最小不动点为ρ的情况。

|1:Vλ+1到自身的非平凡基本嵌入

也就是存在非自明初等嵌入

j:Vρ+1→Vρ+1。

|0:存在L(Vλ+1)的非平凡基本嵌入,其临界点<λ公理。

也就是存在非自明初等嵌入

j:L(Vρ+1)→L(Vρ+1)。

以下更大的巨大基数的性质被选择公理所否定,但它们的存在不能只在策梅罗-弗伦克尔公理系统(即不使用选择公理ZF )中否定。

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

相关小说

怦然心动:呆蠢的他和沙雕的她 连载中
怦然心动:呆蠢的他和沙雕的她
诶_520925628230558882
【日常】+【单女主】+【幻想未来】+【不重生】+【无系统】+【剧情】,前半部分会偏日常,后半部分偏向剧情。
1.5万字4个月前
以是思尽莫招桃 连载中
以是思尽莫招桃
茶少馆今天不想更新
殷義·君泽哈尔的身世迷离,这身世的背后,又隐藏了何等残酷的真相呢?此本小说主要是以殷義·君泽哈尔的角度来写,所以一些伏笔会在后面,所以各位小......
6.4万字5个月前
彼岸轮回,创世伴蝶 连载中
彼岸轮回,创世伴蝶
云瑶梦繁
很可能会借一些其他大大的文,会注明的。浩桐一起开挂。戴雨浩前世创始神,舞桐前世彼岸神,觉醒记忆后彼岸神位与蝶神神位融合,名为彼岸蝶神。主cp......
7.7万字4个月前
孽海情缘 连载中
孽海情缘
于大头
她拿着那四四方方的檀木盒子,盒子中摆放着去煞佛珠,佛珠在阳光的照射下熠熠生辉,少女的血瞳早已溃不成军,泪水模糊了她的双眼,那佛珠是少年最后的......
0.6万字4个月前
我能看见妖怪 连载中
我能看见妖怪
颜肖
妖怪?我怕过吗?答:没有!易遥和胡尧完成任务,进阶除妖,成为降妖大师!
5.2万字4个月前
(ABO)我在 连载中
(ABO)我在
夏霖幽
小故事连载合集卷一《年少无为》在最美的年华里她曾想要有所作为,但终究输给了这个世界。年少无为,成了她的碑文。沈溪×乔羽卷二《燕归》本想做自由......
3.8万字4个月前