[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

28: 2013/11/28(木)06:47:09.10 AAS
ふーん

---

136: 2014/04/01(火)02:12:29.10 AAS
無限公理として ∃y(φ∈y∧∀x(x∈y→x∪{x}∈y)) を採用した場合、
∃y(φ∈y∧∀x(x∈y→{x}∈y)) は証明できますか？

---

210: 2014/04/06(日)22:14:55.10 AAS
>>192
バナッハタルスキの件も、「具体的には整列しようがない」非可算集合を整列しちゃう
ところから生じているの？

---

227: 2014/04/10(木)19:30:17.10 AAS
> ZF + not ACのモデルの存在は直感的に明らかということでOK？
そのつもり。+ ACも + not ACもどちらも直感的に矛盾しそうにない。
> というか分出公理は置換公理から出て来るとか
分出公理と置換公理は、むしろ直感的に等価だと感じる方に属する。

---

231: 2014/04/10(木)20:41:57.10 AAS
分出公理から置換公理は出ない

---

332: 2014/05/19(月)23:18:31.10 AAS
>>330
>任意の公理は（お前の言う）禁止的にも非禁止的にも表現できるぞ。
こう言ってるかれ（きみか？）は、定義がわかってるはずだよｗ

---

393: 2015/08/27(木)21:34:32.10 ID:jQ+eKs+3(1) AAS
集合なんて数学の全範囲で使ってるだろ

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 1.031s*