数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
522(1): 2024/12/01(日)21:26 ID:VMilV3Yc(1) AAS
各種のナントカ基数を定義し、そのナントカ基数の存在を仮定するならば定理◯◯が証明できる
っていう議論をひたすら色んなナントカ基数を定義しながら繰り返す(？)のって、一体集合論って何なんやろって思わさせられる。
523(1): 2024/12/01(日)23:20 ID:lQZxmJtm(1) AAS
>>522
その必要性を理解できないんですね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.024s