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