小鯊魚停止了思考提示您：看後求收藏（品書網www.vodtw.tw），接著再看更方便。
個內模型是終極-L也可以至少見證超冪公理UA+地面公理GA+存在一個最小強緊緻基數成立。一個內模型是終極-L必須是基於策略分支假設SBH。
如果V[G]是V的脫殊集合擴張並且V在V[G]的 ω? 序列下不封閉那麼V[G]≠終極-L並且V[G]中普遍分割槽公理不成立。見證普遍分割槽公理成立。見證強普遍分割槽公理成立。終極L是一個典範內模型，並見證地面公理Ground Axiom成立。
V=終極L的直接推論：
見證最大基數伊卡洛斯的存在性。見證真類多的武丁基數終極L是最大的內模型。見證能夠和選擇公理相容的最大的類- ADR 公理，並且θ是正則的。擁有最大的證明論序數。（即使序數分析目前遠未到ZFC的水平）見證能夠和選擇公理相容的最強的實數正則性質斷言，見證 Ω 猜想成立，見證每一個集合都是遺傳序數可定義的，HOD猜集合都是遺傳序數可定義的，HOD猜想成立。
見證ZF+Reinhardt不一致。存在非平凡初等嵌入j:Lλ(H(λ+))→Lλ(H(λ+)) .
V是最小的脫殊復宇宙。
見證廣義連續統假設成立，並且 ω? 上有一個均勻預飽和理想。見證正常力迫公理成立。存在包含武丁基數的真類。進一步地，對於每一個rank-existential 語句φ若φ在V中成立那麼存在一個universally Baire 集AR使得有:HOD????‘??∩V＿Θ?φ，其中Θ=Θ???‘??(A, R) . (V=終極L)
