>>62
>無限公理なしのZFからは 無限集合の存在は 証明できない
無限公理なしのZFから無限集合の非存在が証明できると？　じゃ証明してみて。