[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
473(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)15:58 ID:7RKCNKc8(1/6) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ）
さて >>465 より
(引用開始)
”we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”
ああ、ごめんごめん。きみ、英語全く読めないニホンザルだったな。翻訳しとくわ。
「Aのすべての空でない部分集合の族Sに対する選択関数fを用いて、帰納的に行うことができる。」
(引用終り)
それでな おサルさんよ>>7-10
省40
476: 01/20(月)16:14 ID:lMN8bpqd(7/12) AAS
>>473
> もう一度 君の証明と対比するよ
私の証明ではないよ
>>301書いたのは実は私 理解できなかったので尋ねた
わからんことも認めずコピペで誤魔化すサルよりは
私はマシよ 人として
> Thomas Jechの 証明は、プロ！
数学者にプロとかいうと、馬鹿にしてんのか！って頭はたかれるよ
君、そういうとこ傲慢というか不遜というかエテ公だよね
485(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/21(火)16:52 ID:N2eH+PDU(1/6) AAS
>>484
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/
ご苦労様です
ちょっと出かけていました
さあ 続けようか
有名な ケネス・キューネンの海賊版を覗いてみた
下記 1)2)と4)を見たが、本件の記述はあまりなかった
（ 3)は、期待できそうになかったので、海賊版検索はしなかった）
省22
486(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/21(火)16:52 ID:N2eH+PDU(2/6) AAS
つづき
再度転記しよう
T Jech 著 · 1997 · The Third Millennium Edition, revised and ... 2002. (Springer monographs in mathematics)
Thomas Jechの 証明
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
Proof：
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choicc fimction f for the family S of all nonempty subsets of A.
省26
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.202s*