https://www.researchgate.net/publication/352165875_gonglidejihelunrumen レーヴェンハイム・スコーレムの定理とモストウスキー同型定理の定式化が終了しました。 やはり、BGE が ZFC の保存拡大になっていることの有限の立場での証明に必要となります。