>>210
つづき

ここで、現代数学の順序同型(下記)を借用しましょう
”整列順序型N’:0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です
これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型
全単射で、ツェルメロのΩが、ノイマンのωに対応する

よろしいでしょうか?

(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%9E%8B
順序型
(抜粋)
整列順序型と順序数
整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。

https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
順序集合
写像と順序
定義
S, T を順序集合とし、f: S → T を写像とする。このとき
・f が順序同型写像(英語版)であるとは、f が順序埋め込みな全単射である事を言う。
 順序同型 f: S → T が存在するとき、S と T は順序同型あるいは単に同型であるという。

つづく