純粋・応用数学・数学隣接分野（含むガロア理論）21

純粋・応用数学・数学隣接分野（含むガロア理論）21 (238ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

224: 08/22(金)21:25 ID:EqzHJSfS(1/2) AAS
命題「任意の集合は整列集合である」は、ZF内では証明も反証もできないが、ZFを内包するZFCでは証明できる
それが何か？

225: 08/22(金)23:46 ID:EqzHJSfS(2/2) AAS
そもそも命題はどの体系内のものかという属性を持たないのでは？　（一方命題の証明は当然その属性を持つ。）
なので問題設定がおかしい気がする。