[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
372(1): ID:1lEWVa2s 2019/10/13(日)18:36 ID:BCKVKYa1(23/31) AAS
金でゾイドビーストライガ〜買える
面白いだろ!!？？金の仕組みって価値って。
676: 2019/12/07(土)17:40 ID:r8l5YtX/(17/21) AAS
ちなみに>>372の(1)はBG集合論下ではほぼ自明です。
BFはZFの保存拡大になってたと思うのでその事を認めてもらえれば瞬殺です。
しかしBGがZFの保存拡大になってる証明を見たことないので今回の証明には使いませんでした。
その場合(1)の段階で私の能力では正則性公理が必要になりました。
ZF -正則性公理で(1)が証明できるのかは知りません。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s