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

---

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

---

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

---

418(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)14:25 ID:mjl0bfS3(30/41) AAS
>>417
必死の論点ずらしご苦労さん
（>>410再録）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 Kenneth Kunen. Kenneth Kunen
(抜粋)
省26

---

419(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)14:39 ID:mjl0bfS3(31/41) AAS
>>418 補足

おサルは
The rest of the axioms are a little easier to state using some defined notions.
On the basis of Axioms 1,3,4,5, define ⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ), ∩ (intersection), and SING(x) (x is a singleton) by:
x ⊆ y ⇔ ∀z(z ∈ x → z ∈ y)
x = Φ ⇔ ∀z(z not∈ x)
y = S(x) ⇔ ∀z(z ∈ y ←→ z ∈ x ∨ z = x)
省18

---

420: IUT応援団　団員 2020/05/10(日)14:41 ID:vZYbiwt9(21/35) AAS
>>418
>論理式 ψ が、天下りで 飛んできて ”x ⊆ y”が定義できる？

それ、分出公理と関係ないけど

団長〜、なんかどんどん発狂してますねぇ
落ち着きましょう　でないとニンゲンじゃなくなっちゃいますよ

---

447(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)19:46 ID:mjl0bfS3(36/41) AAS
>>418 追加
（>>410再録）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 Kenneth Kunen. Kenneth Kunen
(抜粋)
P10
省25

---

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

---

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

---

ぬこの手 ぬこTOP 0.039s