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

---

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)),…}に制限したいらしいけど
それ中のfを全部消さないと、循環論法でアウトだから
(引用終り)

ふっふ、ほっほｗ ；ｐ）
省34

---

511(1): 01/22(水)16:14 ID:c8kxvDgP(1) AAS
>>510
>さて、この en.wikipedia Well-ordering theorem の
>Proof from axiom of choice by 9＾ Jech, Thomas (2002). Set Theory での記載
>”For every ordinal α, define an element aα that is in A by setting
>aα= f(A∖{aξ∣ξ<α})
>if this complement A∖{aξ∣ξ<α} is nonempty, or leave aα undefined if it is.”
>が、循環論法だと？

いや、全然

Jechは、集合族を制限してないから
君が、可算集合の整列を、可算選択公理で実現できると嘘つきたいために
省4

---

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

>>520-521
ふっふ、ほっほ
なんか、「循環論法」から ズレまくってないか？

えーと
(再掲)>>510より
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
省22

---

526(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/23(木)11:46 ID:OWxAi42s(2/12) AAS
>>524-525
>左側はfの反復によって決まるので
>fの定義の前には決まらない
>だからfに先立って反復に現れる集合の全体を決めるのは循環論法

言っている意味がわからんｗ ；ｐ）
下記の 東北大 尾畑研 第13章 整列集合 定理13.18 (超限帰納法)
百回音読してねｗ ；ｐ）

その上で、いま 選択公理だけで
　>>510 Jech, Thomas (2002).の
A∖{aξ∣ξ<α} が定義できれば
省25

---

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

---

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

---

ぬこの手 ぬこTOP 1.986s*