原帖【圣墟3.0】【无限层无限盒旧事】

rt

本吧最早是十几年前om领导的初代战力圈核心讨论吧，讨论各种哲学、设定、战力等内容，水平位列全网最高，后来经历过各种事情后逐渐没落。 前不久，一些战力圈新人吧友来到这吧举行了复兴运动，一度重新燃起本吧讨论的热度。虽然讨论水平比不上当年，但我感觉到新吧友们有追溯圈子源头、追求更高水平的趋向。现在不知道经历什么，人走楼空，热度似乎又降了下来。而我在三四年前不再掌握汪吧之后，隐退相当一段时间，最近回来对汪吧遍

将之前的图改了改，顺便做了张新图

引力，电磁力，强力，弱力 麦克斯韦方程组，一统电磁理论， 基本粒子标准模型，规范场论

即不存在语句，其所言说的 ω 就是真正的 ω ，达到言说 ω 的效果。 理论只是语句的集合，语句本身只是单纯的句子，我们所需要的是其所表达的语义——所指的对象，而这本身将会构成对语句的解释。称 M 是理论 T 的模型，在于 M 能够成为 T 的语义解释，包含全部 T 中语句所指的对象。 由哥德尔(语义)完备定理，一阶理论的一致性与其模型的存在性等价，但由哥德尔(语法)不完备定理，包含初等算术的理论无法证明自身的一致性。 而一个理论 T 是

考察 ω ，任凭你取 n 个自然数 k1,k2,…,kn，都仍能找到一个 m＜ω，使得对任意 k∈<k1,k2,…,kn>，均有 k＜m。——则称 ω 具有不可达性。n 和 k1,k2,…,kn 均小于 ω ，在 ω 之下，然后会被同样在 ω 之下的 m 封顶。 而像 ω×ω 这样的序数，取 ω 个 ＜ω×ω 的序数 ω×1,ω×2,…,ω×n,…；在 ω×ω 之下就不存在对这个递增序列的封顶，可以说直通 ω×ω 自身了。 根本上，若 a 是可数序数，那就会存在 a 和 ω 的一一对应，显然就会存在 ω 个 a 之下的序数直通它

第四天灾后宫团镇楼

起初，无穷公理断言了 V 中存在下列冯诺依曼序数 {} ：被当做 0，因为没有东西∈{} {{}}：被当做1，因为只有0∈{0}，1也仅大于0 {{}，{{}}}：被当做2，因为只有0,1∈{0,1}，2也仅大于0和1 {{}，{{}}，{{},{{}}}}：被当做3，因为只有0,1,2∈{0,1,2}，3也仅大于0和1和2 可以看出，被称作冯诺依曼序数的集合，是在以∈关系模拟数字之间的＜关系，n+1就是简单的把n的元素和n一起放到一个集合里。这样一来自然数集就天然的成为了一个无限序数ω，ω+1也能很自然的得到

以前是经常讨论哲学与设定的吧，这吧创造者OM还弄出过漫威十二级这种战力，这吧其实也是个论战吧，只是不是那种人物对比，而是关于他设定上的战力。

一楼喂熊娘

MetropleX前辈好，我是今年接触美漫的新人，请多指教