よく考えてみたら

これ。

transitive collapse - くるるの数学ノート

第二弾をやっていないじゃないですか。むしろそっちのほうが肝心なのに。V=Lから連続体仮説が証明できる話のアウトラインをやる予定。