第三篇章终极集合论宇宙（V=UltimateL） (9-9)

　　⇨Foreach∑₃-sentence φ，if φ holdsin V thenthereisauniversallyBairesetA⊆Rsuchthat

　　HODᴸ（ᴬᴿ）∩VΘ╞φ

　　where Θ=Θᴸ（ᴬᴿ）.

　　⇨Theaxiomsettles（moduloaxiomsofinfinity）allsentencesaboutp（R）（andmuchmore）whichhavebeenshowntobeindependentbyCohen’smethod.

　　Theorcm（V=Ultimate-L）

　　TheComtinuumHypothesisholds。

　　MoreconsequencesofV=Ultimate-L

　　Theorem（V=Ultimate-L）

　　Foreachcardinalκ.ifV[G]isaset-genericextensionofVthenthereexistsanelementaryembedding

　　π：（H（κ¹））ᵛ→N

　　u：kN+1（π，N）∈VandsuchthatN∈HODᵛ[ᶜ].

　　corollary（V=Ultimate-L）

　　V=HOD.

　　corollary（V=Ultimate-L）

　　Vistheminimumuniverse of the Generic-Multiverse.

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