-
138原帖【圣墟3.0】【无限层无限盒旧事】
-
6
-
26
-
58
-
23
-
838引力,电磁力,强力,弱力 麦克斯韦方程组,一统电磁理论, 基本粒子标准模型,规范场论
-
205即不存在语句,其所言说的 ω 就是真正的 ω ,达到言说 ω 的效果。 理论只是语句的集合,语句本身只是单纯的句子,我们所需要的是其所表达的语义——所指的对象,而这本身将会构成对语句的解释。称 M 是理论 T 的模型,在于 M 能够成为 T 的语义解释,包含全部 T 中语句所指的对象。 由哥德尔(语义)完备定理,一阶理论的一致性与其模型的存在性等价,但由哥德尔(语法)不完备定理,包含初等算术的理论无法证明自身的一致性。 而一个理论 T 是
-
32考察 ω ,任凭你取 n 个自然数 k1,k2,…,kn,都仍能找到一个 m<ω,使得对任意 k∈<k1,k2,…,kn>,均有 k<m。——则称 ω 具有不可达性。n 和 k1,k2,…,kn 均小于 ω ,在 ω 之下,然后会被同样在 ω 之下的 m 封顶。 而像 ω×ω 这样的序数,取 ω 个 <ω×ω 的序数 ω×1,ω×2,…,ω×n,…;在 ω×ω 之下就不存在对这个递增序列的封顶,可以说直通 ω×ω 自身了。 根本上,若 a 是可数序数,那就会存在 a 和 ω 的一一对应,显然就会存在 ω 个 a 之下的序数直通它
-
29
-
30起初,无穷公理断言了 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也能很自然的得到
-
68
-
298一楼喂熊娘
-
1MetropleX前辈好,我是今年接触美漫的新人,请多指教