[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
318(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)11:33 ID:B5CZ4/Lr(4/13) AAS
>>316 追加
ここ、尾畑伸明先生（下記）に詳しい解説があったね（＾＾
外部ﾘﾝｸ:www.math.is.tohoku.ac.jp
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室−
尾畑伸明：集合・写像・数の体系 数学リテラシーとして
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
第3章 集合の演算 GAIRON-book : 2018/6/21(19:23)
省23
319: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)11:33 ID:B5CZ4/Lr(5/13) AAS
>>318
つづき
定 理 3.16 集合の元の列 x1, x2, . . . , xn, . . . で
x1 ∋ x2 ∋ ・ ・ ・ ∋ xn ∋ ・ ・ ・
を満たすもの (無限下降列という) は存在しない.
証 明
集合 A = {xn | n ∈ N} が基礎の公理に反する.5)
省7
397(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)20:33 ID:B5CZ4/Lr(8/13) AAS
>>316-318 <まとめ>
外部ﾘﾝｸ[pdf]:blacaman.tripod.com
An Introduction to Independence Proofs K KUNEN/キューネン First edition: 1980 Seventh impression: 1999 （藤田 博司 (翻訳)）
P100
§4. The Axiom of Foundation
AXIOM 2. Foundation.
∀x(∃y(y∈x)→∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))).
省32
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s