>>701
>無限公理なしの場合、無限集合Nは存在せず
仮にそれが正しいとしたら、ZFから無限集合の存在とその否定の両方が証明できる、すなわちZFが矛盾していることになる