スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (672ﾚｽ)
上下前次1-新

---

572(1): 11/25(月)06:15 ID:X9aIenaL(6/10) AA×
>>571


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
572: [sage] 2024/11/25(月) 06:15:44.10 ID:X9aIenaL >>571のつづき > これが、反例と呼べるか否かはしらないが、 > 選択公理ACの否定DCで Solovay modelができて 実数の集合が全てルベーグ可測になるよ 　尻尾同値類の代表の集まりが集合でないモデルでは、もちろん箱入り無数目は実行できない 　しかしそれACが成立しないモデルだから、ACが成立するモデルでの反例ではない 　ACが成り立つモデルでは述語論理の完全性定理により反例は存在しない 　これ分かる？ http://rio2016.5ch.net/test/read.cgi/math/1731325608/572
のつづき これが反例と呼べるか否かはしらないが 選択公理の否定で ができて 実数の集合が全てルベーグ可測になるよ 尻尾同値類の代表の集まりが集合でないモデルではもちろん箱入り無数目は実行できない しかしそれが成立しないモデルだからが成立するモデルでの反例ではない が成り立つモデルでは述語論理の完全性定理により反例は存在しない これ分かる？

---

上下前次1-新書関写板覧索設栞歴

---

あと 100 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.020s