[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

588(2): 2021/10/27(水)14:38 ID:O7+c++yB(9/11) AAS
>>587
つづき

My unofficial rationale may be more philosophically appealing. Reverse
mathematics shows us that you can do an awful lot of math using only
the natural numbers and sets thereof. It *also* shows us that you can
do a lot of math using weaker inductive assumptions; it highlights five
interesting "levels" of induction (the celebrated RCA, WKL, ACA, ATR,
and Pi11CA theories) and Simpson's book hints that a few weaker systems
like EFA might turn out to be of similar interest. So I personally see
induction over the ordinals in ZFC as one of many points on a spectrum
省3

---

589(1): 2021/10/27(水)14:38 ID:O7+c++yB(10/11) AAS
>>588
つづき

外部ﾘﾝｸ:en.wikipedia.org
Zermelo?Fraenkel set theory
Contents
1 History
2 Axioms
2.1 1. Axiom of extensionality
2.2 2. Axiom of regularity (also called the axiom of foundation)
2.3 3. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
省19

---

592: 2021/10/27(水)19:07 ID:aPLQfV8M(3/19) AAS
>>581-585　わけもわからずIUTを礼賛する愛国🐎🦌には困ったもんだ
>>586-590　わけもわからず二階！二階！！とわめく自民党員には困ったもんだ

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.300s*