なんでCHと連続体仮説が別建てになてるのか意味分からんのだが
決定性公理とADも別になってるし
それに連続体仮説の分科として強制法の研究がある訳じゃなkute
巨大基数とか無限組合せ論とかADの研究で

GBとZFCは保存拡大であることがすぐに証明できるから
ZFCの研究とGBの研究は同義だよ
だからNFの研究者は居てもGBの研究者を自称する者は居ない

基本的に>>26の木構造は無意味なので止めた方が良いと思う