定义2.2.18 G=(.川)1pe则)
注意， C其实不依赖于具体的脱殊滤G且C∈M. G是M中的人们用来指称G的名字，但生活在M中的人并不知道G到底是什么，事实上，的解杯(定2.1)，包括G自身:
WWw. cr-Geion.因而，在非平凡的情况下，我们期望NS M(q).
最后，我们定义力迫语言的语义。即条件与力迫讯言公式之间的力迫关系.
定义22川)μ4η≤加当且仅当对任意(m，nen.集p啡η一η当且仅当ρlηSηHplηζη.
l在》之下稠密当集合{0≤p 30.n)∈n60≤rλ9θπ=(2)pHρ入ψ.当且仅当pHp且pe.
(3)plHψ.当且仅当对任意ηSp井非q14.
pFarp，当且仅当集合{veP|3(r是P名(4)在ρ之下
上建定文中，中的(n).是基于办刀所属阶层的遭归定义.该部分，即条件与原子公式的力迫条件与原子公式的力迫关系。在M下是绝对的。而整个定义。即-(v)，.应被视为基于公式复尔度的通的定义。注意(于和中的无外量调物，所以一力迫关系可理解为 MN中的人“所掌握的关于M(C]的一般知识的体系。即如果p力迫φ.那么无论MI(G]到底是什么(无论取什么G)，若条件p真(w∈G)，则ρ也真(sM.这正是下述定理所表达的
定理2.2.15 M是ZFC的可数传递模型，P是N中偏序，G是P上(相对于M)的脱殊滤。则存在M的脱殊扩张M|GI，给定公式.......(所有自由变元已列出)和....则
.....当且仪当和e G(n4......由此，可以进-步得到脱殊扩张基本定理。
定理2.2.16 (脱殊扩张基本定理) M是ZFC的可数传通模型，P是M中偏序，G题P上(相对于M)的脱殊滤。则存在M的脱殊扩张MICI，满足:(1) MIG]见ZFC的传通模型。
(2) MS MI(G] lGe M(]:
(3) M[G]是满足(1).(2)的最小极型。
品然，脱殊扩张sM(q可以被看作是s1加上一个脱殊迪a生成的集合论运算下的闭包，利用脱殊扩张基本定理，我们可以通过设计M中的偏序P来逐步迫近那个无法在M中存在的脱殊池G.使得生成的G见证了M(G]满足我们所希望的性质。
脱殊复公式为： T =(2G/c^2)*(M/R)其中，T表示脱殊时间，G表示引力常数，c表示光速，M表示宇宙质量，R表示宇宙半径。
喜欢深红基金会请大家收藏：(m.38xs.com)深红基金会三八小说更新速度全网最快。