Inter-universal geometry と ABC予想 (応援スレ) 73 (750ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
183(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:24 ID:3GStjv9j(1/5) AAS
>>179
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなｗ ；ｐ）
>算術の超準モデル
>外部ﾘﾝｸ:ja.wikipedia.org
出ました！ ゴキブリの詭弁
囲碁の戦法でもあるんだよ
省14
184(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:26 ID:3GStjv9j(2/5) AAS
>>173 & >>160-162
(引用開始)
>>157
>P(a)から 有限集合を除いた 集合族が a^ ＝ {x ∈P(a) | M(x)}
はい、大間違いです。
無限集合という言葉を粗雑に使うから間違う。
(引用終り)
省7
185(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:28 ID:3GStjv9j(3/5) AAS
>>169-170
(引用開始)
>{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}は、冪集合公理 P(A) を使っていない（使うと言ってない）
はい、大間違いです。
使うと言ってないからといって使っていないことにはならない。且つZF上では使ってよい。
(引用終り)
ふっふ、ほっほ
省15
186: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:30 ID:3GStjv9j(4/5) AAS
>>182
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます。
213(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)20:51 ID:3GStjv9j(5/5) AAS
>>210 補足
(引用開始)
外部ﾘﾝｸ:fr.wikipedia.org
Axiomes de Peano
(google仏語訳)
ペアノの公理
存在と唯一性
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s