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

---

543(4): 08/30(土)22:38 ID:jE3Cs7nW(18/22) AAS
>>531 補足
　>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省45

---

544: 08/30(土)22:40 ID:jE3Cs7nW(19/22) AAS
>>543 訂正再投稿

>>538
>2chｽﾚ:news

おや？
独教授「ABC予想の証明論文は論理に飛躍がある」　望月教授「それはお前がクソ無能だからだ」 [886559449]
か
それ ニュース速報板だね
省1

---

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

---

561(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)09:23 ID:lylF2dxQ(5/10) AAS
>>556
面白いから カマッテクンしておく

(引用開始)
「無限集合とは、無限公理を満たす集合、それのみである」
数学
「そこ、違う穴　正しい穴はこっちよ」
(引用終り)
省20

---

565: 08/31(日)10:04 ID:ptzEvizv(5/26) AAS
>>561
>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >>543
>で ∩を使うことの正当化には ブーメランでしかない
それ、∩恐怖症のあなたの個人的感想ですよね？

---

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

---

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

---

ぬこの手 ぬこTOP 2.655s*