>>304 補足
　>>86より 再録(参考)
https://en.wikipedia.org/wiki/Zermelo_set_theory
Zermelo set theory (sometimes denoted by Z-)
”AXIOM VII. Axiom of infinity (Axiom des Unendlichen)
"There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."”
とあって、無限公理（Axiom of infinity）で、集合Zが存在すると言葉で書かれている
この集合Zは、ドイツ語で数Zahlからで（下記）、自然数の意味ですね
参考
https://de.wikipedia.org/wiki/Zahl
Zahl
(引用終り)

つまり、>>246に書いたが
添え字 n∈N で、
後者関数 suc(an)＝{an}n+1 (つまり、添え字nやn+1は残す)として

0,1,2,・・n,n+1,・・→ω(極限)
0→{}0
1→{{}0}1
2→{{{}0}1}2
・
・
n→{・・{{{}0}1}2・・}n
n+1→{{・・{{{}0}1}2・・}n}n+1
・
・
↓
ω→{・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限)
という対応になる（一番外にカッコ{}あり）

外のカッコを外すと
・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N（添え字）となる
これが、存在すること、つまり、nが全ての自然数を尽くすことは、ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) で認められているのです
だから、これが、Zermelo set theory (sometimes denoted by Z-)の中には、存在するのです
そして、ZFCがZermelo set theoryを包含することを認めるならば、ZFC中にも ・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N（添え字）が存在します
QEDｗ
以上