>>573
全ての帰納的集合の交叉から作った最小の帰納的集合を "自然数集合" と定義する、別にそれでもいいです
でもそれだけだと0から有限回で辿りつける元(我々がよく知ってるつもりの自然数)しか含まない保証はないわけです
ちゃんと証明しようにも「0から有限回で辿りつける元しか含まない集合」の存在が前提になってしまう(ように見える)のが気になっています