AION仙箱数学设定第五续写 (6-2)

　　每个型号理论X包含一个模型理论X作为一个元素。每个模型P的理论X有一个元素Q，它被认为是集合理论语言中的一阶结构，是集合理论的模型理论X，从外部看P。这在以下情况下是显而易见的：P是一个特定模型理论X，因为在这种情况下P同意理论X是一致的，因此可以构建一个特定模型理论X。在其余情况下，P有非标准自然数。通过反射定理应用于P，我们知道特定片段理论X在表单模型中是正确的m对于每个标准自然数m。由于P无法确定其标准切割，因此必须有一些非标准切割mm，为了哪个P认为一些满足（非标准）特定片段理论X。由于m是非标准，这包括完整的标准理论理论X，根据需要。前一段中提到的事实偶尔会被一些初创理论家发现令人惊讶，也许是因为这个结论天真地似乎与这样一个事实相矛盾，即可能存在模型理论X加上否定理论X的一致性。然而，通过意识到尽管模型Q里面P实际上是一个完整的模型理论X，模型P无需同意这是理论X，如果P具有非标准自然数，因此非标准长度公理理论X。数不清的及物模型。哥德尔完备性定理和罗素悖论的相关理论表明，如果某个逻辑系统存在一种特定的结构（或其他类似概念），那么就存在一种对应的可描述模型。这意味着XX每个不可简单描述的逻辑结构都是扩展逻辑系统+的模型，其中包含一个可简单分析的模型。这个理论中有一些可简单分析的模型，它们必须比最基础模型具有更复杂的特征。同样，也有理论的逻辑结构模型，断言不同特征程度的可简单分析逻辑结构模型，直到w2（其意义取决于具体的逻辑结构：一般来说wL12≠wL22w2L1≠w2L2）。此外，还有及物理论模型断言有ax扩展逻辑系统+的可简单分析逻辑结构模型有w2不同特征程度的逻辑结构模型？不同特征？等。因此，如果有一个不可简单描述的逻辑结构，那么真的很多（在等建议的非正式含义中）可简单分析逻辑结构模型，它们在w2（否则它们不可能有w2相同的特征程度）。

　　假设在W我们有一个特征高度的及物逻辑结构N。我们可以把每个难以清晰界定的元素转化为特定的逻辑线索，通过特定的操作进入一个新的逻辑域。在W[H]W[H]及物逻辑结构不受限制，具有特定的逻辑属性。传递逻辑结构的可构建域（Lgt(N)Lgt(N)是扩展逻辑系统+的类型，V=LV=L它是L哪个在常见的逻辑情境W和W[H]W[H]中都存在。所以扩展逻辑系统+的类型V=LV=L无限（μ+）W(μ+)W英寸。他们中的一些人具有高度的特征基数（μ+ω）W(μ+ω)W他们很多。因此，如果有特征高度的传递逻辑结构NN，那么有非常多所有特征高度的及物逻辑结构λ

　　特别是，逻辑系统模型（和扩展逻辑系统+模型是无界的等）在Vw为了世俗N，就像在Vw无法访问N有囊括，数量，人类妄想……超超尘世跨越V等特征基数。

　　世界基数公理‌：

　　是指如果一个基数κ是世界基数，那么Vκ（即κ的宇宙）满足ZFC（Zermelo-Fraenkel集合论加上选择公理）。具体来说，如果一个基数κ是世界基数，那么Vκ是一个ZFC模型‌

　　超巨大基数：

　　一个基数κ是超巨大的，如果存在一个κ上的超滤子U，使得对于所有小于κ的基数λ，存在一个函数f:λ→κ，使得对于所有α<λ，f(α)<κ，并且对于所有小于κ的集合A，如果A属于U，则存在一个β<κ，使得对于所有α<λ，f(α)<β当且仅当α属于A。

　　此外，还要求存在一个κ上的超滤子U'，使得对于所有小于κ的集合A，如果A属于U'，则存在一个β<κ，使得对于所有α<λ，f(α)<β当且仅当α属于A。

　　巨大基数:

数学之塔——长篇小说-d146提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。