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

>無限公理なしのZFからは 無限集合の存在は 証明できない
これは正しい しかし
無限公理なしのZFからは 無限集合の非存在も 証明できない

>公理的集合論において
>その公理の体系内で数学的に 証明できないことは
>認められません!!!!!!
だろ?
だったら
「”無限公理”を認めなければ、可算無限の自然数の集合Nは存在しない」
は認められない
だって「可算無限の自然数の集合Nは存在しない」は証明できないんだから
>>63-64のツッコミの通り

君が今ここでそういった 君はピストルで自分のこめかみを撃ちぬいたんだよ