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

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

650(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/13(水)23:02 ID:fChrPFrq(11/11) AAS
>>648
ブタに真珠 も
いやね、＜ Species＞と

IUT IV（>>624）
　”the notion of a species allows one to “simulate ∈-loops” without violating the axiom of foundation of axiomatic set theory - cf. the discussion of Remark 3.3.1, (i).”
の関係というか、繋がりを探しているが

どうも “simulate ∈-loops”？（＾＾；
省1

---

651(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/14(木)00:16 ID:xfdjzzyp(1/11) AAS
>>650
補足

１．今まで調べた ＜ Species＞の中には ∈-loopsとかが出てくる箇所がない
　つまり、 ＜ Species＞は 一般の組合わせ論（いわゆる数え上げ論）みたい
２． ∈-loopsの話は、IUT側から出てくる話で
　IUTの「同義反復的解決」（>>603）と関連する話みたいだな
３．なんで、 ∈-loops？
省7

---

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

---

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

---

ぬこの手 ぬこTOP 0.049s