まず、タイポ訂正
>>19
整列可能定理の示すところ 集合(A,B,C・・Z) から 元を取り出して
　↓
整列可能定理の示すところ 集合{A,B,C・・Z} から 元を取り出して
だな

さて
>ある集合から元を取り出して {},{{}},{{{}}},{{{{}}}},・・・ という整列を得ることは可能（by 整列可能定理）
>この場合、よく見ると {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ となっているから、そう書くことは禁止されない（by 整列可能定理）

後の行を丁寧に書くと
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
　↓
{}∈{{}},{{}}∈{{{}}},{{{}}}∈{{{{}}}},{{{{}}}}∈{{{{{}}}}},・・・
と バカ丁寧に書ける

が、まあ最初の記法で 分かるはず（面倒だから略記したのと、ある程度の数学のMMレベルなら分かるだろうねと（MM については 下記の謎の数学者氏動画ご参照。特にπ＝3 or 3.14 論争 が 重箱の隅））
MMの低いヤクザが、必死でインネンつけるの図だなｗ ；ｐ）

あと、モストフスキ崩壊補題 は 近藤友祐 https://elecello.com/doc/set/set0005.pdf （>>24）にあるが
P4
『系 9. 任意の整列集合に対し，それと順序同型な順序数が一意に存在する．したがって整列集合(M,<)の順序型type(M,<)を，“(M,<)と順序同型な唯一の順序数”として定めることができる．』
P3
『系 7(集合版モストフスキ崩壊補題). 二項関係が集合上整礎かつ外延的であると仮定する．このとき，(A,R)≅(M,∈)を満たす推移的集合がただ一つ存在する．』
など
（要するに、逆に言えば 系 9を一般化した定理が モストフスキ崩壊補題ってわけですね）

なので、下記の 自然数 で suc (a):=a ∪ {a} とするノイマンの構成では、∈による推移関係が成り立つ
一方、suc(a) := {a} と定義する上記の ツェルメロの構成では ∈による推移関係は 不成立だが
しかし、モストフスキ崩壊補題の系 7 により、ツェルメロの構成は ∈による推移的なM（推移的なノイマンの構成の順序数）と 順序同型になるってこと

(参考)
https://youtu.be/j4MNI1A4s9s?t=1
数学者としてのレベルを図る尺度は「数学的成熟度」。Mathematical Maturity, MM
謎の数学者 2021/02/21

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
suc (a):=a ∪ {a}
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[4]。
（注：こちらは ノイマンの構成）

0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる
（注：こちらは ツェルメロの構成）