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