特殊玄宇宙第二版本篇章（数学模型） (10-10)

[32] E.Zermelo，（1930）《论集合的边界数和域》，载于威廉·布拉格

埃瓦尔德（编辑）（1996）。从康德到希尔伯特：数学基础资料书。第 1208–1233 页。

[33] The Thread，2014 年 6 月至 11 月期间的电子邮件讨论（S.Feferman、iedman、iedman、G.Hellman、P.Koellner、P.Maddy 的广泛贡献，

R.Solovay 和 H.Woodin）。

已收到\j已收到

补充说明

玄宇宙计划将宇宙V序数，基数，幂集最大化。

序数最大化，遵循高度潜在主义。

基数最大化，有一个序数阿尔法，它对基数k的子集是强绝对的，如果基数k是一个无限的且正则的基数，那么阿尔法的基数最多为k，这里会有一个集合力迫，cardmax（k+）（基数最大化k+）成立。

序数最大化，遵循宽度完成主义。

而IMH内模型假设不满足宽度完成主义。

所以要转移到V-逻辑，也就是逻辑多元的公理上。

V-逻辑能满足宽度完成主义，且它的常元符号W-能够间接地表示V的外模型，而逻辑多元是所有可传递模型的集合（-是在W上面的)。

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