[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
115(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/09(土)10:36 ID:9Sqq12HI(13/26) AAS
>>114
つづき
外部ﾘﾝｸ[html]:evariste.jp
2004年3月28日(日) 超限帰納法・置換公理
[定理]
P(x) を論理式とします。 任意の順序数 α,β に対して α<β のとき P(α) が成立するとき P(β) が成立すると仮定します。このとき任 意の順序数 α に対して P(α)
言い換えると次の二つの命題は同値。
省11
116(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/09(土)10:36 ID:9Sqq12HI(14/26) AAS
>>115
つづき
[公理 8. 置換公理]
P(x,y) を二項論理式として関数的な性質をもつとします。即ち、
P(x,y),P(x,y') が成立するとき常に y=y' が成立する。
この場合任意の集合 X に対して
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s