25/10/24 01:45:18.64 dX0vXa30.net
>>704
>違うよ
まーた脊椎反射で言い返そうとする。治らんね、君のその悪い癖。
仮にZFから無限公理を取り除いた ZF-Infinity から無限集合の非存在が証明できるとしたら、ZFのうちInfinityを使わなければ無限集合の非存在を、使えば存在を証明できる、つまりZFが矛盾していることになる。
ちょっと考えれば分かること、何も難しくない。
ラッセルのパラドックス？ 内包公理？ なにトンチンカンなこと言ってるんだい？ 大脳使いなさいよ、脊椎反射じゃなく。