[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
56(3): 2019/03/08(金)10:16 ID:HVq5OYm0(2/21) AAS
>>55
つづき
"This principle, sometimes called the axiom of induction (in set theory), is equivalent to the axiom of regularity given the other ZF axioms. "だと（＾＾
外部ﾘﾝｸ:en.wikipedia.org
Epsilon-induction
(抜粋)
In mathematics, ∈-induction (epsilon-induction) is a variant of transfinite induction that can be used in set theory to prove that all sets satisfy a given property P[x].
省7
60(1): 2019/03/08(金)12:01 ID:ULwq4qbD(3/16) AAS
>>55-56
スレ主は日本語が読めないくらいだから、英語は全然読めないんだな
>the axiom of regularity is equivalent to the axiom of induction.
the axiom of induction「帰納法の公理」とあるじゃん
これを帰納法全部と考えるのは英語が読めない白痴ｗ
>In mathematics, ∈-induction (epsilon-induction) is a variant of transfinite induction that can be used in set theory to prove that all sets satisfy a given property P[x].
ε帰納法は、a variant of transfinite induction「超限帰納法の一種」とあるよな
省5
157(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/10(日)12:29 ID:rk/29Zdt(14/28) AAS
>>149 補足
> ２）
>”When the well-founded relation is set membership on the universal class, the technique is known as ∈-induction.”
>”∈-induction”というのは、集合論で最初に使う”∈を使った順序”での、induction（帰納法）だよと
ちょっと繰り返しになるが、>>55-56にも引用したけど
”∈-induction”というのは、集合論で最初に使う”∈を使った順序”での、induction（帰納法）と見ることもできて
”equivalent to the axiom of regularity given the other ZF axioms”だと
省18
158: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/10(日)12:33 ID:rk/29Zdt(15/28) AAS
>>157
つづき
（>>55-56より再録）
外部ﾘﾝｸ:en.wikipedia.org
Epsilon-induction
(抜粋)
In mathematics, ∈ -induction is a variant of transfinite induction that can be used in set theory to prove that all sets satisfy a given property P[x].
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s