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

---

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

---

552(2): 08/31(日)06:51 ID:yvLlCc7F(1/16) AAS
>>539 ◆yH25M02vWFhP
>補足するよ
>A=S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} としよう

>>541
>これは酷い。
>S(S(ω))∈S(S(S(ω)))∧¬S(S(S(ω)))∈S(S(S(ω))) だから
>S(S(S(ω)))は帰納的集合ではない。
省21

---

553(1): 08/31(日)07:06 ID:yvLlCc7F(2/16) AAS
>>539 ◆yH25M02vWFhP
>>”ωが最小の無限集合で、全ての無限集合の共通部分”は分っていることだから

>>542
>偶数全体の集合と奇数全体の集合の共通部分は{}であってωではない。

>>547-548 (HNおよび◆yH25M02vWFhP なし)
>デデキント無限 の話だね
>自然数N=ω には、「A と同数（equinumerous）であるようなA の真部分集合B が存在する」から
省26

---

556(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)07:41 ID:lylF2dxQ(1/10) AAS
>>550-554

面白いから カマッテクンしておくと
それ、>>539の共通部分∩の議論が ますます 複雑怪奇になるだけ
式 N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}の扱いが ますます難しくなる
自分で自分の足を撃っているに等しいｗ　；ｐ）

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s