[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）8 (942ﾚｽ)

純粋・応用数学（含むガロア理論）8 http://rio2016.5ch.net/test/read.cgi/math/1620904362/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

660: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2021/05/30(日) 13:38:03.22 ID:kTzpB/An >>659 つづき https://en.wikipedia.org/wiki/Epsilon-induction Epsilon-induction In mathematics, ∈-induction (epsilon-induction or set-induction) is a variant of transfinite induction. Considered as an alternative set theory axiom schema, it is called the Axiom (schema) of (set) induction. It can be used in set theory to prove that all sets satisfy a given property P(x). This is a special case of well-founded induction. Contents 1 Statement 1.1 Comparison with natural number induction 2 Independence ndependence In the context of the constructive set theory CZF, adopting the Axiom of regularity would imply the law of excluded middle and also set-induction. But then the resulting theory would be standard ZF. However, conversely, the set-induction implies neither of the two. In other words, with a constructive logic framework, set-induction as stated above is strictly weaker than regularity. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1620904362/660

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 282 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.122s*