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