その後JechやWoodinらによって
モデル側の議論だけで
ZFCの第二不完全性定理が証明されたよ。
補題としてIΣ_1やPAやRCA_0にも適用される。