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

---

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

---

651(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)17:46 ID:gg6LcAZV(7/7) AAS
>>645
>>aから直接 M(x)’を 分出公理で 部分集合として取り出せば それで終わりでしょ！
>それで終わりなら、なんでやらないの？

既出だが
中高一貫生も来る可能性があるので、下記を再録しておく ；ｐ）

　>>531 再録
外部ﾘﾝｸ:ja.wikipedia.org
省51

---

654: 09/01(月)18:40 ID:sYNWEl0F(12/13) AAS
>>651
>だったら、『帰納的に後者を繰り返し無限に取った集合』を きちんと論理式 M(x)’として立てて
「繰り返し無限に取る」が well-defined でないので大間違いです。
実際、
>Φ(x)を「xは帰納的である」という論理式とする。つまり、
>Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x)))
であり、何も繰り返し無限に取ってません。

---

656(1): 09/01(月)18:42 ID:sYNWEl0F(13/13) AAS
>>651
>繰り返し無限に取る
そんなアホなこと言ってると中高一貫生に笑われますよ

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s