w，从我们陈述的假设可以得出，对于任意给定的n＞，人们可以找到一个XEV，使得XE[p]”对于在K-1和K之间的共度为w的p，以及一个嵌入的ex，n:Vo+1＜VX+1，其中包含一个在p中与j的临界序列共决的超大*基数序列或其尾部，使得ex，n（X）=X。这可以与选择集序列（Ca:a＜a）来选择X的等价类中的一个成员，依赖于n。使用前面提到的不同选择集Ca之间的关系，我们可以认为，这个数据可以这样选择:将n映射到X的等价类中所选成员的函数实际上最终是常数，并且等价关系E的选择集可以这样构造。但是，用库宁不一致定理的证明方法，就产生了一个矛盾。而这个矛盾得到了证明从一组假设出发，这些假设可以证明是一致的，通过强制相对于ZF加上初等嵌入Vx+2＜Vx+2的存在性。因此初等嵌入Vx+2~Vx+2的存在性实际上与ZF不一致。6.终极猜想的证明在本节中，我们将试图给出休·伍丁的终极猜想的证明。休·伍丁的终极计划最重要的来源是[1]，[2]和[3]。根据[3]的定义7.14，我们必须首先给出公理V=Ultimate-L的陈述。定义6.1。公理V=Ultimate-L定义为断言（1）乌丁红衣主教有一个合适的类别。（2）给定任何在V中为真Σ2-sentence，存在一个实数a的普遍贝尔集合，使得，如果OL（a，R）被定义为最小序数O，使得L（a，R）中没有从R到O的抛射，则句子在HODL（a，R）中为真nVOL（A，R）。现在让我们回顾[3]中的一组定义。定义6.2。设N是ZFC的一个可传递固有类模型，δ是v中的一个超紧基，我们说N是δ超紧的一个弱扩展器模型，如果对于所有的y＞δ，在Ps（y）上存在一个正规的精细δ-完备测度μ，μ（NOPs（λ））=1，μηΝΕΝ。定义6.3。一个序列N:=（Na:αEOrd）弱Σ2definable，如果有一