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

---

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

---

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ξ∣ξ<α}・・
正　A(=A∖{}),A∖{a1},A∖{a1,a2},A∖{a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
>選択関数fは
>f：集合族（定義域：入力）→ ある要素（aα：出力）
省27

---

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

ケースバイケース

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

ニワトリを買ってきて
そのニワトリに卵を産ませたら
ニワトリが先だ
省8

---

515(1): 01/23(木)06:13 ID:o+VGPX9a(1/4) AAS
>>513
>発狂していると思うのは私だけだろうか？
　はい
>”A∖{aξ∣ξ<α}”内では、選択関数 f は、使われていない
　表記の中にfが現れないだけで「使われていない」と脊髄反射ですか
　aα=f(A∖{aξ∣ξ<α})　なら
　aξ=f(A∖{aψ∣ψ<ξ}) 　だから
　A∖{aξ∣ξ<α}＝A∖{f(A∖{aψ∣ψ<ξ})∣ξ<α}
　もちろん、f(A∖{aψ∣ψ<ξ})をさらに書き換えることもできるが
　順序数は整礎なので、再帰は有限回で止まる
省2

---

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

---

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

---

ぬこの手 ぬこTOP 3.504s*