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

---

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

---

404(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)11:55 ID:mjl0bfS3(23/41) AAS
>>401

（>>371より ｗｗ（＾＾；　）
（参考）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 - c 2005,2006,2007 Kenneth Kunen. Kenneth Kunen
(抜粋)
省13

---

408: IUT応援団　団員 2020/05/10(日)12:03 ID:vZYbiwt9(15/35) AAS
>>404
団長〜、この文章、読「め」ましたか？

”The rest of the axioms are a little easier to state using some defined notions.”

「残りの公理は、いくつかの定義された概念を使用して述べるのが少し簡単です。」

つまり、定理７、８、９を記載するために記号を導入したんですね
実際、そうなってる筈ですよ

>>405
省2

---

410(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)12:53 ID:mjl0bfS3(27/41) AAS
>>404 補足

外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 - c 2005,2006,2007 Kenneth Kunen. Kenneth Kunen
(抜粋)
P10
Axiom 6. Replacement Scheme. For each formula, φ, without B free, ∀x ∈ A∃!y φ(x, y) → ∃B ∀x ∈ A∃y ∈ B φ(x, y)
省24

---

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

---

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

---

ぬこの手 ぬこTOP 0.193s*