>>949
(引用開始)
>そして、整列定理には、具体性はないだろうが、
>ある具体的な条件と組み合わせることは
>なんら制限されないってことだね
じゃあ実際に具体的な条件とやらと組み合わせて何か意味のあることを示してみて
その発言がただ口で言ってるだけの空虚な言葉じゃないなら
(引用終り)

だから、この議論のそもそもの始まりの
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
これは、下記の自然数Nのツェルメロ構成だが
∈→∈' の書き換えで、自然数における順序数を表している と、自然な解釈が可能です

（参考）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
形式的な定義
自然数の公理

以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。
これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。