对每个基数 κ,如果V[G]是V的集广属扩张,则存在初等嵌入=
π:(H(κ⁺))ᵛ→N
u:k N+1(π,N)∈ V 使得N∈HODᵛ[ᶜ].
推论 (V-Uirinate- L)
V=HOD。
推论(V-Uhimate- L)
V是广义多元宇宙的最小宇宙。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。