>>72
> 自然数 で
> suc (a):=a ∪ {a} とするノイマンの構成では∈による推移関係が成り立つ 一方、
> suc(a) := {a} と定義するツェルメロの構成では ∈による推移関係は 不成立だが
> モストフスキ崩壊補題の系 7 により、ツェルメロの構成は ∈による推移的なM
>（推移的なノイマンの構成の順序数）と 順序同型になる
> 『系 7(集合版モストフスキ崩壊補題).
> 二項関係が集合上整礎かつ外延的であると仮定する．
> このとき，(A,R)≅(M,∈)を満たす推移的集合がただ一つ存在する．』

モストフスキ崩壊補題なんて使わなくても直接示せるけどね
そもそも、その補題を使うとしても
ツェルメロの順序数で、順序の性質を満たす二項関係Ｒ
を定義してみせなくちゃ話にならない

あなた、ツェルメロ順序数における順序関係Ｒの定義が全然できてないでしょ
だから残念だけど全然だめ　
モストフスキとか無駄知識勉強する前に、順序の性質を勉強して
ツェルメロの順序数で、∈を使ってどうやって順序関係が具体的に定義できるかやってみて
それですべてが終わりだから

わかる？現代数学の系譜 雑談 ◆yH25M02vWFhPのボク
まだ、高校３年生よね？　もうウブなんだから
おねえさんが、やさしく教えて　ア・ゲ・ル