>>57
>無限公理を設定しなければ、可算無限の自然数の集合Nは
>存在するとしても存在しないとしてもいい

うんにゃｗ ；ｐ）
無限公理なしのZFからは 無限集合の存在は 証明できない
公理的集合論において
その公理の体系内で
数学的に 証明できないことは
認められません！！！！！！ｗｗｗ　（＾＾