Inter-universal geometry と ABC予想 (応援スレ) 73 (882ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

331(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/04(月)12:05 ID:rSgE8B7A(5/12) AAS
>>314 補足
(引用開始)
１）>>271の 数理論理学ＩＩ 坪井明人 筑波大 (2014年) 外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
４）”そこで ω を条件
　∅ ∈ x ∧ ∀y(y ∈ x → S(y) ∈ x)
　を満たす最小の集合 x として定義したい：無限公理によって保証される無限集合 X を一つ選び，
　ω = {y ∈ X : ∀x(φ(x) → y ∈ x)}
省25

---

333(1): 08/04(月)12:16 ID:iR8wXkhe(12/24) AAS
>>331
>このようにすれば，ω は集合であり，φ(x) を満たす最小のものになる
だからｗ
φ(x) を満たす最小のものが自然数Nであることを早く証明してくださいと言ってるのに言葉のキャッチボールができない人ですね
言葉のキャッチボールをしないならチラシの裏でやったらどうです？　掲示板でやる必要無いですよ？

---

334(1): 08/04(月)12:22 ID:iR8wXkhe(13/24) AAS
>>331
君、不合格食らって、お情けで追試受けさせてもらってる身分って自覚できてる？
早く証明しなさいよ　追試まで放棄する気？

---

335(1): 08/04(月)13:04 ID:iR8wXkhe(14/24) AAS
>>331
あれ？　証明できないの？
>２）分かり易く 院試の口頭試問で「ZFCで 自然数Nの存在を証明してください」と言われたとしよう
って言い出したの君なんだけど　言い出しっぺが答えられないの草

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s