>>928 補足

(>>926より 引用開始)
自然数の構成が整礎的なのだから、正則性公理は必要ない
0={}　整礎的！
1={}∪{{}}＝{{}}　整礎的！
2={{}}∪{{{}}}={{},{{}}}　整礎的！
・・・
(引用終り)

これ、>>928のペアノの公理5を使っているでしょ？ｗ（＾＾
問題は、ペアノの公理5、つまり、数学的帰納法の原理＝自然数の整列性 （公理として同値）
を、ＺＦ公理系から導けって話しですよね。それも、正則性公理を使わずにね！

どうぞｗ（＾＾
おっと、出典さがしてね〜（＾＾

自分で証明しなくていいからｗ（＾＾

がんばれ、サイコパスピエロ〜！ｗ（＾＾