Π01言明について理解しておこう (243ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
239: 10/21(火)03:04 ID:+tHhg6Hh(1/2) AAS
>>1
おそらく既出と思うが
>ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、
正しい
>この理論は真なるΠ01言明「ZFCは無矛盾である」
A⇒B から A を推論できないので間違い
>を自明に反証できる。
省2
240: 10/21(火)03:04 ID:+tHhg6Hh(2/2) AAS
>>1
おそらく既出と思うが
>ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、
正しい
>この理論は真なるΠ01言明「ZFCは無矛盾である」
A⇒B から A を推論できないので間違い
>を自明に反証できる。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.354s*