解法：苏斯林假设与ZFC的独立性(延森,索洛维–滕鲍姆,1971年)

钻石原理 $\diamondsuit$ 断言存在一个序列 $\langle A_\alpha : \alpha < \omega_1 \rangle$,对每个 $\alpha$ 都有 $A_\alpha \subseteq \alpha$,使得对每个 $Z \subseteq \omega_1$,集合 $\{ \alpha < \omega_1 : Z \cap \alpha = A_\alpha \}$ 在 $\omega_1$ 中是稳止的(它与 $\omega_1$ 的每个闭无界子集相交,因此尤其是不可数的、在精确拓扑意义上“大”的,尽管它的大小仍可以是 $\aleph_1$ 而非整个 $\omega_1$)。

延森通过对连续统假设证明前面步骤中所述的可构成层级 $L$ 的精细结构分析证明了:只要 $V = L$,$\diamondsuit$ 就成立——在 $L$ 中确定基数所用的同一种可定义性控制,也使人能够逐层构造出一个在稳止意义上频繁猜中的猜测序列。

$\diamondsuit$ 是一个严格强于 $\mathrm{CH}$ 的假设(它蕴含 $\mathrm{CH}$,但不被 $\mathrm{CH}$ 蕴含),它真正的威力在于组合方面而不仅是基数算术:它恰好提供了引导一个超限构造、并提前避开一切可能障碍所需要的那种“神谕”,下一步就会用它来构造一棵苏斯林树。