自然数0,1,2,…と自然数の全体集合Nの存在性を仮定して
集合Nの元の自然数0,1,2,…を定義したら
循環論法になるだけでなく、ペアノの公理の意味がない