>>27
>　モストフスキ崩壊補題は関係ないよ

関係あるんじゃない？
下記のCopilot くんを見てねｗ ；ｐ）
（応用 ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。）

(参考)
Copilot
Q:モストフスキー崩壊について教えて
A:モストフスキー崩壊（Mostowski Collapse）は、集合論における重要な補題です。
この補題は、アンジェイ・モストフスキーの名前にちなんで名付けられました。
主に、整礎的かつ集合状な関係を持つクラスが、推移的クラスと同型であることを示します。
具体的には、あるクラス上の二項関係が以下の条件を満たす場合に適用されます：
1- 集合状: 関係の逆像が必ず集合になる。
2- 整礎的: 空でない部分集合が極小要素を持つ。
3- 外延的: 異なる要素が異なる逆像を持つ。
この補題により、整礎的かつ集合状な関係を持つクラスは、推移的クラスと一意的に同型であることが保証されます。

参考
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。

https://elecello.com/doc/set/set0005.pdf
集合論ノート0005モストフスキ崩壊補題 (Mostowski Collapse Lemma)近藤友祐(@elecello )初稿: 2018年2月22日 更新: 2019年11月24日