ZF公理系からペアノ公理を導けという試験問題があったとして
その解答案で
ZF公理系のどの命題と、どの命題を使って、
どういう定理なり補題を証明して
そして、最後に「ペアノ公理を導いた QED」と
それで、正則性公理を使っていませんということが明確になる

”ZF公理系のどの命題と、どの命題を使って”のところが記されていないと
題意はずしのあさって答案で
０点！（＾＾；