[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

504(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/22(水)10:37 ID:XJPGzntw(1/4) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ）

>>498
(再掲)>>497より
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
省29

---

507: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/22(水)14:15 ID:XJPGzntw(3/4) AAS
>>506
マジレス
・誤解です
　A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
　は、あくまで 集合族です
・そもそも、選択関数fは
　f：集合族（定義域：入力）→ ある要素（aα：出力）
省10

---

510(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/22(水)16:07 ID:XJPGzntw(4/4) AAS
>>508
(引用開始)
じゃ、fを表に出しなよ
A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…
↓
f(A),f(A∖f(A)),f((A∖f(A))∖f(A∖f(A))),…
定義域の集合族を{A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…}に制限したいらしいけど
省37

---

513(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/22(水)22:45 ID:2wGMe0ya(1/2) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ）

>>511-512
　>>508より
(引用開始)
誤　A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
省30

---

514(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/22(水)22:53 ID:2wGMe0ya(2/2) AAS
>>513 補足
卵が先か
ニワトリが先か？

ケースバイケース

卵を買ってきて
その卵を孵して ニワトリを得たら
卵が先だ
省11

---

604(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)19:24 ID:vKwDmbNO(9/11) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>598 補足
(再掲)>>504より
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
省37

---

631(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)14:09 ID:57hfZFiX(6/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>A(=A＼Φ),A＼{a0},A＼{a0,a2},・・,A＼{a0,a2,・・},・・
>を得るにはP(A)-Φを定義域とする選択関数が必要。

妄想沸いてるよｗ ；ｐ）
下記 Jechの証明を2つ再録しよう
省38

---

704: 01/27(月)22:23 ID:T6In1xa/(15/15) AAS
AA省

---

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

---

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

---

ぬこの手 ぬこTOP 0.037s