分からない問題はここに書いてね 472 (987ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
937: １３２人目の素数さん [] 07/22(火)10:05 ID:XdxqJpaH(1/4)
>>935
積極的に使いたいです
938: １３２人目の素数さん [] 07/22(火)10:06 ID:XdxqJpaH(2/4)
>>936
だそうですよ
939: １３２人目の素数さん [] 07/22(火)10:07 ID:XdxqJpaH(3/4)
>>936
アレフ1ならできますか？できませんか？
941: １３２人目の素数さん [] 07/22(火)17:52 ID:XdxqJpaH(4/4)
>>940
数理論理やってる人の間ではほぼほぼアレフ2で確定
というか証明もあるらしいですよ
ZFCだけというのは今は流行らず
フォーシングなどを駆使する立場から
妥当な公理として巨大基数公理などを仮定するようです
ですが
アレフ1だった場合は非可算で稠密で排反な2つにわけられますか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s