>>648-649
モストフスキ崩壊補題は、正直あまり詳しくないが
言いたいことは
”∈-関係”が、結構基本的で重要だってことね
ノイマンは、それを見抜いていたのかも・・

＞モストフスキ崩壊補題の「崩壊（collaps）」はイメージ変すぎ

確かに
えーと、英文 wikipediaから、Mostowskiの元論文で ”theorem 3”とあるので
その周辺を見たが、「崩壊（collaps）」みたいなことは書かれていない

en.wikipedia.org/wiki/Mostowski_collapse_lemma
Mostowski collapse lemma
In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson–Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949, theorem 3) and John Shepherdson (1953).

References
Mostowski, Andrzej (1949), "An undecidable arithmetical statement" (PDF), Fundamenta Mathematicae, 36 (1), Institute of Mathematics Polish Academy of Sciences: 143–164, doi:10.4064/fm-36-1-143-164
matwbn.icm.edu.pl/ksiazki/fm/fm36/fm36120.pdf
(引用終り)

で、モストフスキがポーランドなので
言語 Polski を見ると下記で
やっぱ、”崩壊”（Kolaps）となっている
なぜ”崩壊”（Kolaps）かは不明です

https://pl.wikipedia.org/wiki/Kolaps_Mostowskiego
モストウスキー崩壊 (推移的崩壊) ＊） –メンバーシップ関係とともに、特定の確立された外延的関係と同型である推移的な集合。モストウスキー崩壊という用語は、初期集合から推移集合への関係を伴う同型写像自体を説明するためにも使用されます。

この同型性は、 1937 年にクルト ゲーデルによって間接的な形式で使用されました[1]。推移的崩壊の存在に関する独立した定理は、1949 年にAndrzej Stanisław Mostowskiによって定式化され、証明されました[2]。

注＊）原語 Kolaps Mostowskiego (kolaps przechodni)